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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/isar/CommentParsingBug.thy')

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
 
-- 
cgit v1.2.3