From 54326ff2a12490fd59c24c247519e18aeb84df6b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 6 May 2004 16:32:35 +0000
Subject: Comments.

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

diff --git a/etc/isar/trace_simp.thy b/etc/isar/trace_simp.thy
index 430d37f5..55d46189 100644
--- a/etc/isar/trace_simp.thy
+++ b/etc/isar/trace_simp.thy
@@ -1,3 +1,4 @@
+(* This is a test of tracing output for Isabelle. *)
 
 theory trace_simp = Main:
 
-- 
cgit v1.2.3