
diff -r 27a643e00675 -r 6f6ee78c7357 Quot/Examples/AbsRepTest.thy
--- a/Quot/Examples/AbsRepTest.thy	Fri Jan 01 04:39:43 2010 +0100
+++ b/Quot/Examples/AbsRepTest.thy	Fri Jan 01 11:30:00 2010 +0100
@@ -68,6 +68,12 @@
 *}
 
 ML {*
+test_funs repF @{context} 
+     (@{typ "(('a * 'a) list * 'b)"}, 
+      @{typ "('a foo * 'b)"})
+*}
+
+ML {*
 test_funs absF @{context} 
      (@{typ "(('a list) * int) list"}, 
       @{typ "('a fset) bar"})




