diff options
Diffstat (limited to 'etc/isar/ParsingBug1.thy')
| -rw-r--r-- | etc/isar/ParsingBug1.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/ParsingBug1.thy b/etc/isar/ParsingBug1.thy index e1a783ab..e56a5ae9 100644 --- a/etc/isar/ParsingBug1.thy +++ b/etc/isar/ParsingBug1.thy @@ -6,7 +6,7 @@ *) -theory ParsingBug1 = Main: +theory ParsingBug1 imports Main begin theorem "P" proof - |