diff options
| -rw-r--r-- | etc/isar/AHundredTheorems.thy | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/isar/AHundredTheorems.thy b/etc/isar/AHundredTheorems.thy index cc2aebe7..b26bf539 100644 --- a/etc/isar/AHundredTheorems.thy +++ b/etc/isar/AHundredTheorems.thy @@ -1,9 +1,10 @@ theory AHundredTheorems imports Main begin +(* test this *) -(* ELISP: -- (setq start (current-time)) -- *) ML {* val start = start_timing(); *} +(* ELISP: -- (setq start (current-time)) -- *) lemma foo: "P --> P" by auto lemma foo2: "P --> P" by auto |