diff options
| author | Makarius Wenzel | 2009-09-04 15:32:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-09-04 15:32:09 +0000 |
| commit | 913663834e5e5ce2818b3ec6218131c19863e802 (patch) | |
| tree | 89e8846470064f5ee747ed3bc14e8b938bcadbd1 /etc | |
| parent | da36b8c432608290b5df02134d3fbfccfe097e7d (diff) | |
fixed theory name;
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/isar/AThousandTheorems.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/AThousandTheorems.thy b/etc/isar/AThousandTheorems.thy index a56a7bf1..dfb31d58 100644 --- a/etc/isar/AThousandTheorems.thy +++ b/etc/isar/AThousandTheorems.thy @@ -1,4 +1,4 @@ -theory AThousandLines imports Main +theory AThousandTheorems imports Main begin ML {* val start = start_timing(); *} |