Mercurial Mercurial > repos > isabelle / 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.
src/HOL/Cardinals/Cardinal_Order_Relation.thy
changeset 76951 293caf3dbecd
parent 76946 5df58a471d9e 
--- a/src/HOL/Cardinals/Cardinal_Order_Relation.thy	Fri Jan 13 22:47:40 2023 +0000
+++ b/src/HOL/Cardinals/Cardinal_Order_Relation.thy	Sat Jan 14 16:53:54 2023 +0000
@@ -23,7 +23,6 @@
   card_of_mono1[simp]
   card_of_mono2[simp]
   card_of_cong[simp]
-  card_of_Field_ordLess[simp]
   card_of_Field_ordIso[simp]
   card_of_underS[simp]
   ordLess_Field[simp]
isabelle