00_Frontmatter.thy
|
typos, and a more general abstract.
|
2019-08-17 10:23:16 +02:00 |
01_Introduction.thy
|
Updated refernce to SEFM paper.
|
2019-08-17 10:15:04 +01:00 |
02_Background.thy
|
Normalized BibTeX keys.
|
2019-08-17 10:02:13 +01:00 |
03_GuidedTour.thy
|
Improved docker run command.
|
2019-08-18 18:02:54 +01:00 |
04_RefMan.thy
|
changed awkward sentences.
|
2019-08-17 11:19:12 +02:00 |
05_Implementation.thy
|
Normalized BibTeX keys.
|
2019-08-17 10:02:13 +01:00 |
Isabelle_DOF-Manual.thy
|
Updated license information.
|
2019-08-15 15:09:55 +01:00 |
ROOT
|
Cleanup.
|
2019-08-18 13:57:51 +01:00 |