
diff -r d0ad264f8c4f -r 9b0324e1293b Nominal/Ex/Datatypes.thy
--- a/Nominal/Ex/Datatypes.thy	Thu Nov 03 13:19:23 2011 +0000
+++ b/Nominal/Ex/Datatypes.thy	Mon Nov 07 13:58:18 2011 +0000
@@ -8,7 +8,6 @@
   atom_decl - example by John Matthews
 *)
 
-
 nominal_datatype 'a Maybe = 
   Nothing 
 | Just 'a




