
diff -r ddf409b2da2b -r a0ca7d9f6781 Nominal/Test.thy
--- a/Nominal/Test.thy	Wed Mar 24 12:34:28 2010 +0100
+++ b/Nominal/Test.thy	Wed Mar 24 12:53:39 2010 +0100
@@ -1,3 +1,4 @@
+(*<*)
 theory Test
 imports "Parser"
 begin
@@ -106,6 +107,6 @@
 (* run out of steam at the moment *)
 
 end
+(*>*)
 
 
-




