diff options
| -rw-r--r-- | etc/isar/multiple/A.thy | 1 | ||||
| -rw-r--r-- | etc/isar/multiple/D.thy | 6 |
2 files changed, 3 insertions, 4 deletions
diff --git a/etc/isar/multiple/A.thy b/etc/isar/multiple/A.thy index 5c11b4fe..6bdadb9e 100644 --- a/etc/isar/multiple/A.thy +++ b/etc/isar/multiple/A.thy @@ -1,4 +1,3 @@ - theory A imports Pure begin diff --git a/etc/isar/multiple/D.thy b/etc/isar/multiple/D.thy index ed405e30..3c78e542 100644 --- a/etc/isar/multiple/D.thy +++ b/etc/isar/multiple/D.thy @@ -1,4 +1,4 @@ +theory D imports Pure +begin -theory D = Pure:; - -end; +end |