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.
TODO
changeset 15346 ac272926fb77
parent 15330 630981482718
child 15386 06757406d8cf 
--- a/TODO	Tue Nov 30 13:29:36 2004 +0100
+++ b/TODO	Tue Nov 30 16:27:44 2004 +0100
@@ -21,7 +21,5 @@
   NatArith.ML
   Relation_Power.ML
   Sum_Type.ML
-  Wellfounded_Recursion.ML
-  Wellfounded_Relations.ML
 
 - remove this file (Tobias)
isabelle