Achim D. Brucker ecbb18fac8 Added license information.		2019-07-21 16:47:33 +01:00
..
document	Added license information.	2019-07-21 16:47:33 +01:00
00_Frontmatter.thy	Updated author information.	2019-07-21 16:14:42 +01:00
01_Introduction.thy	New Structure discussed with adb, different shot in intro, ref to SEFM paper, first railroad dgm	2019-07-17 19:08:59 +02:00
02_Background.thy	new config of the document	2019-07-17 15:41:03 +02:00
03_GuidedTour.thy	Resolved naming inconsistency (mathex_onto vs. math_exam).	2019-07-20 21:51:55 +01:00
04_IsaDofImpl.thy	Updated Isar notation.	2019-07-20 16:08:47 +01:00
04_RefMan.thy	more experiments	2019-07-21 16:35:08 +02:00
05_DesignImpl.thy	Updated Isar notation.	2019-07-20 16:08:47 +01:00
05_IsaDofLaTeX.thy	Introducing parts from SEFM, restructuring	2019-07-18 22:40:55 +02:00
06_Conclusion.thy	Removed availability information.	2019-07-21 16:14:32 +01:00
IsaDofManual.thy	New Structure discussed with adb, different shot in intro, ref to SEFM paper, first railroad dgm	2019-07-17 19:08:59 +02:00
ROOT	Reworked/Synced Background chapter with SEFM paper	2019-07-17 14:51:45 +02:00