
diff -r 89d772dae4d4 -r 224909b9399f Quot/Examples/AbsRepTest.thy
--- a/Quot/Examples/AbsRepTest.thy	Fri Jan 08 19:46:22 2010 +0100
+++ b/Quot/Examples/AbsRepTest.thy	Sat Jan 09 08:52:06 2010 +0100
@@ -11,9 +11,6 @@
    |> writeln;
    equiv_relation_chk ctxt (rty, qty) 
    |> Syntax.string_of_term ctxt
-   |> writeln;
-   new_equiv_relation_chk ctxt (rty, qty) 
-   |> Syntax.string_of_term ctxt
    |> writeln)
 *}
 




