From 15fa4ae0b6c7527ea65bc2c0116fd1564f78df9c Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 23 Jan 2011 15:21:58 +0000
Subject: updated theory headers;

---
 etc/isar/CommentParsingBug.thy  | 2 +-
 etc/isar/CommentParsingBug2.thy | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/isar/CommentParsingBug.thy b/etc/isar/CommentParsingBug.thy
index 6a59a383..0da1575d 100644
--- a/etc/isar/CommentParsingBug.thy
+++ b/etc/isar/CommentParsingBug.thy
@@ -1,3 +1,3 @@
 (**)(**)
-theory Scratch imports Main begin
+theory CommentParsingBug imports Main begin
 
diff --git a/etc/isar/CommentParsingBug2.thy b/etc/isar/CommentParsingBug2.thy
index 0c1a303e..a7bcba2b 100644
--- a/etc/isar/CommentParsingBug2.thy
+++ b/etc/isar/CommentParsingBug2.thy
@@ -1,5 +1,5 @@
 (* Tobias reported 24.1.03.  Could not repeat prob *)
-theory test imports Main begin
+theory CommentParsingBug2 imports Main begin
 
 (*
 defs
-- 
cgit v1.2.3