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/ROOT
changeset 55663 12448c179851
parent 55601 b7f4da504b75
child 55730 97ff9276e12d 
--- a/src/HOL/ROOT	Fri Feb 21 20:54:13 2014 +0100
+++ b/src/HOL/ROOT	Fri Feb 21 21:08:03 2014 +0100
@@ -570,7 +570,7 @@
     Simproc_Tests
     Executable_Relation
     FinFunPred
-    Set_Comprehension_Pointfree_Tests
+    Set_Comprehension_Pointfree_Examples
     Parallel_Example
     IArray_Examples
     SVC_Oracle
isabelle