From cf6f0face58b8cdd4b280e7101381a8175823027 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2002 18:18:57 +0000
Subject: New files.

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

diff --git a/etc/isar/CommentParsingBug.thy b/etc/isar/CommentParsingBug.thy
new file mode 100644
index 00000000..e279fb68
--- /dev/null
+++ b/etc/isar/CommentParsingBug.thy
@@ -0,0 +1,3 @@
+(**)(**)
+theory Scratch = Main:
+
-- 
cgit v1.2.3