
diff -r 6a133abb7633 -r 212f3ab40cc2 Nominal/Test.thy
--- a/Nominal/Test.thy	Fri Feb 26 18:38:25 2010 +0100
+++ b/Nominal/Test.thy	Sat Feb 27 11:54:59 2010 +0100
@@ -199,6 +199,7 @@
 
 (* example form Leroy 96 about modules *)
 
+
 nominal_datatype mexp =
   Acc path
 | Stru body




