src/HOL/IsaMakefile
changeset 30954 cf50e67bc1d1
parent 30929 d9343c0aac11
child 30973 304ab57afa6e
     1.1 --- a/src/HOL/IsaMakefile	Mon Apr 20 09:32:09 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Apr 20 09:32:40 2009 +0200
     1.3 @@ -218,7 +218,6 @@
     1.4    Nat_Numeral.thy \
     1.5    Presburger.thy \
     1.6    Recdef.thy \
     1.7 -  Relation_Power.thy \
     1.8    SetInterval.thy \
     1.9    $(SRC)/Provers/Arith/assoc_fold.ML \
    1.10    $(SRC)/Provers/Arith/cancel_numeral_factor.ML \