
diff -r d51aab59bfbf -r e39453c8b186 Nominal/Ex/Test.thy
--- a/Nominal/Ex/Test.thy	Thu Apr 08 11:52:05 2010 +0200
+++ b/Nominal/Ex/Test.thy	Thu Apr 08 13:04:49 2010 +0200
@@ -1,4 +1,3 @@
-(*<*)
 theory Test
 imports "../Parser"
 begin
@@ -38,10 +37,6 @@
 | "bv8 (Bar1 v x b) = {atom v}"
 *)
 
-(* example 9 from Peter Sewell's bestiary *)
-(* run out of steam at the moment *)
-
 end
-(*>*)
 
 




