diff options
| -rw-r--r-- | etc/isar/trace_simp.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/trace_simp.thy b/etc/isar/trace_simp.thy index 4788262c..06458a84 100644 --- a/etc/isar/trace_simp.thy +++ b/etc/isar/trace_simp.thy @@ -1,6 +1,6 @@ (* This is a test of tracing output for Isabelle. *) -theory trace_simp = Main: +theory trace_simp imports Main begin text {* this produces massive amount of simplifier trace, but terminates |