diff -r d1eaed018e5d -r 41f89d4f9548 Quot/QuotBase.thy
--- a/Quot/QuotBase.thy	Wed Feb 10 17:02:29 2010 +0100
+++ b/Quot/QuotBase.thy	Wed Feb 10 17:10:52 2010 +0100
@@ -11,7 +11,6 @@
   that are represented by predicates.
 *}
 
-(* TODO check where definitions can be changed to \<longleftrightarrow> *)
 definition
   "equivp E \<longleftrightarrow> (\<forall>x y. E x y = (E x = E y))"