
diff -r a5495a323b49 -r 90bde96f5dd1 Quot/Examples/AbsRepTest.thy
--- a/Quot/Examples/AbsRepTest.thy	Tue Jan 05 14:09:04 2010 +0100
+++ b/Quot/Examples/AbsRepTest.thy	Tue Jan 05 14:23:45 2010 +0100
@@ -94,6 +94,8 @@
       @{typ "('a fset) fset"})
 *}
 
+
+
 ML {*
 test_funs absF @{context} 
      (@{typ "(('a * 'a) list) list"}, 




