
diff -r fe468f8723fc -r d030c8e19465 QuotMain.thy
--- a/QuotMain.thy	Fri Dec 04 17:15:55 2009 +0100
+++ b/QuotMain.thy	Fri Dec 04 17:36:45 2009 +0100
@@ -260,7 +260,6 @@
   let
     val qty_name = fst (dest_Type qty)
     val SOME quotdata = quotdata_lookup lthy qty_name
-                  (* cu: Changed the lookup\<dots>not sure whether this works *)
     (* TODO: Should no longer be needed *)
     val rty = Logic.unvarifyT (#rtyp quotdata)
     val rel = #rel quotdata




