src/HOL/ROOT
changeset 52226 0d3165844048
parent 51625 bd3358aac5d2
child 52248 2c893e0c1def
     1.1 --- a/src/HOL/ROOT	Wed May 29 18:55:37 2013 +0200
     1.2 +++ b/src/HOL/ROOT	Wed May 29 23:11:21 2013 +0200
     1.3 @@ -506,7 +506,6 @@
     1.4      Higher_Order_Logic
     1.5      Abstract_NAT
     1.6      Guess
     1.7 -    Binary
     1.8      Fundefs
     1.9      Induction_Schema
    1.10      LocaleTest2