From d02398289ff7cad3ae0f77a02273a17dc5c99b8d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 22:45:08 +0000
Subject: Updated.

---
 etc/isar/trace_simp.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3