--- a/src/HOL/Tools/arith_data.ML Mon Apr 06 08:24:55 2009 +0200
+++ b/src/HOL/Tools/arith_data.ML Mon Apr 06 15:59:05 2009 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/arith_data.ML
+(* Title: HOL/Tools/arith_data.ML
Author: Markus Wenzel, Stefan Berghofer, and Tobias Nipkow
Common arithmetic proof auxiliary.
@@ -26,7 +26,7 @@
structure Arith_Data: ARITH_DATA =
struct
-(* slots for pluging in arithmetic facts and tactics *)
+(* slots for plugging in arithmetic facts and tactics *)
structure Arith_Facts = NamedThmsFun(
val name = "arith"