diff options
Diffstat (limited to 'etc/isar')
| -rw-r--r-- | etc/isar/BackslashInStrings.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/BackslashInStrings.thy b/etc/isar/BackslashInStrings.thy index b1f91803..2161ed8a 100644 --- a/etc/isar/BackslashInStrings.thy +++ b/etc/isar/BackslashInStrings.thy @@ -1,4 +1,4 @@ -theory BackslashInStrings = Main: +theory BackslashInStrings imports Main begin consts test :: string |