--- a/src/HOL/Import/import_package.ML Wed Apr 13 18:45:38 2005 +0200
+++ b/src/HOL/Import/import_package.ML Wed Apr 13 18:45:52 2005 +0200
@@ -80,3 +80,4 @@
val setup = [Method.add_method("import",import_meth,"Import HOL4 theorem"),ImportData.init]
end
+