
diff -r a28f805df355 -r 64f9c76f70c7 Quot/Examples/AbsRepTest.thy
--- a/Quot/Examples/AbsRepTest.thy	Sat Dec 26 21:36:20 2009 +0100
+++ b/Quot/Examples/AbsRepTest.thy	Sat Dec 26 23:20:46 2009 +0100
@@ -93,8 +93,8 @@
 
 ML {*
 test_funs absF @{context} 
-     (@{typ "('a list) list \<Rightarrow> 'a"}, 
-      @{typ "('a fset) fset \<Rightarrow> 'a"})
+     (@{typ "('a list) list \<Rightarrow> 'a list"}, 
+      @{typ "('a fset) fset \<Rightarrow> 'a fset"})
 *}
 
 




