From dce25750779070bdf9209c80dd6a50e23a0a6d7c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 13 Jun 2004 21:11:22 +0000
Subject: Updated.

---
 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 55d46189..4788262c 100644
--- a/etc/isar/trace_simp.thy
+++ b/etc/isar/trace_simp.thy
@@ -11,6 +11,7 @@ ML {* reset quick_and_dirty *}
 
 datatype ord = Zero | Succ ord | Limit "nat => ord"
 
+(* testing comment here *)
 
 text {* this one loops forever *}
 
-- 
cgit v1.2.3