From 75e75bb383523566e0abb34629aecbae0dc81fba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Jan 2003 14:32:34 +0000
Subject: New files.

---
 etc/isar/CommentParsingBug2.thy | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 etc/isar/CommentParsingBug2.thy

diff --git a/etc/isar/CommentParsingBug2.thy b/etc/isar/CommentParsingBug2.thy
new file mode 100644
index 00000000..e92bd687
--- /dev/null
+++ b/etc/isar/CommentParsingBug2.thy
@@ -0,0 +1,8 @@
+(* Tobias reported 24.1.03.  Could not repeat prob *)
+theory test = Main:
+
+(*
+defs
+*)
+
+end
-- 
cgit v1.2.3