src/HOL/IsaMakefile
changeset 30925 c38cbc0ac8d1
parent 30689 b14b2cc4e25e
child 30927 bc51b343f80d
     1.1 --- a/src/HOL/IsaMakefile	Wed Apr 15 15:30:38 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Apr 15 15:30:39 2009 +0200
     1.3 @@ -216,7 +216,7 @@
     1.4    List.thy \
     1.5    Main.thy \
     1.6    Map.thy \
     1.7 -  NatBin.thy \
     1.8 +  Nat_Numeral.thy \
     1.9    Presburger.thy \
    1.10    Recdef.thy \
    1.11    Relation_Power.thy \