src/HOL/ROOT
changeset 52363 41d7946e2595
parent 52282 c79a3e15779e
child 52394 fe33d456b36c
     1.1 --- a/src/HOL/ROOT	Mon Jun 10 16:04:34 2013 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Jun 10 20:30:23 2013 +0200
     1.3 @@ -502,7 +502,6 @@
     1.4    theories
     1.5      Iff_Oracle
     1.6      Coercion_Examples
     1.7 -    Numeral_Representation
     1.8      Higher_Order_Logic
     1.9      Abstract_NAT
    1.10      Guess