diff -r 3810b37511cb -r d67149236738 thys/Chap03.thy
--- a/thys/Chap03.thy	Mon Jan 26 15:54:27 2015 +0000
+++ b/thys/Chap03.thy	Mon Jan 26 16:01:58 2015 +0000
@@ -1,3 +1,4 @@
+(* test *)
 theory Chap03
 imports Main
 begin