src/HOL/IsaMakefile
changeset 35372 ca158c7b1144
parent 35329 cac5a37fb638
child 35502 3d105282262e
     1.1 --- a/src/HOL/IsaMakefile	Wed Feb 24 14:19:54 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Feb 24 14:34:40 2010 +0100
     1.3 @@ -352,7 +352,7 @@
     1.4    PReal.thy \
     1.5    Parity.thy \
     1.6    RComplete.thy \
     1.7 -  Rational.thy \
     1.8 +  Rat.thy \
     1.9    Real.thy \
    1.10    RealDef.thy \
    1.11    RealPow.thy \