diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 16:09:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 16:09:27 +0000 |
| commit | acc66a4c5e2c75510b8c75b9e11f714300950e07 (patch) | |
| tree | 00f67e50819659db043b3b3553d3dd027a4f8125 /etc | |
| parent | 6d8438addf37fd84fbfa2b1a912e680da252bbf7 (diff) | |
Update for new syntax
Diffstat (limited to 'etc')
| -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 |