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/README.txt
changeset 55027 a74ea6d75571
parent 55026 258fa7b5a621
child 55056 b5c94200d081 
--- a/src/HOL/Cardinals/README.txt	Fri Jan 17 10:02:49 2014 +0100
+++ b/src/HOL/Cardinals/README.txt	Fri Jan 17 10:02:50 2014 +0100
@@ -188,7 +188,7 @@
   Should we define all constants from "wo_rel" in "rel" instead, 
   so that their outside definition not be conditional in "wo_rel r"? 
 
-Theory Wellfounded_More (and Wellfounded_More_FP):
+Theory Wellfounded_More:
   Recall the lemmas "wfrec" and "wf_induct". 
 
 Theory Wellorder_Embedding (and Wellorder_Embedding_FP):
isabelle