Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Quot/QuotBase.thy
changeset 1123 41f89d4f9548
parent 1122 d1eaed018e5d
child 1125 68b8ebcc5240 
--- 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))"
nominal2