     1.1 --- a/src/HOL/IsaMakefile	Sun Apr 01 22:03:45 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sun Apr 01 22:14:59 2012 +0200
     1.3 @@ -284,7 +284,6 @@
     1.4    List.thy \
     1.5    Main.thy \
     1.6    Map.thy \
     1.7 -  Nat_Numeral.thy \
     1.8    Nat_Transfer.thy \
     1.9    New_DSequence.thy \
    1.10    New_Random_Sequence.thy \
changeset 48120	3b9eeb4a2967
parent 48119	2d4ea84278da
parent 48116	30a1692557b0
child 48134	434d9dd99523
child 48135	6488c5efec49