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 52226 0d3165844048
parent 51625 bd3358aac5d2
child 52248 2c893e0c1def 
--- a/src/HOL/ROOT	Wed May 29 18:55:37 2013 +0200
+++ b/src/HOL/ROOT	Wed May 29 23:11:21 2013 +0200
@@ -506,7 +506,6 @@
     Higher_Order_Logic
     Abstract_NAT
     Guess
-    Binary
     Fundefs
     Induction_Schema
     LocaleTest2
isabelle