# HG changeset patch
# User fahad
# Date 1422288118 0
# Node ID d67149236738e51f2c1fccd9834f8bd8f3d5ec6b
# Parent  3810b37511cbdd74b515ba2fe996edefccfd9494
test

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