--- a/src/HOL/IsaMakefile Wed Feb 24 14:19:54 2010 +0100 +++ b/src/HOL/IsaMakefile Wed Feb 24 14:34:40 2010 +0100 @@ -352,7 +352,7 @@ PReal.thy \ Parity.thy \ RComplete.thy \ - Rational.thy \ + Rat.thy \ Real.thy \ RealDef.thy \ RealPow.thy \