diff -r bc264e730103 -r 80b421d8a8be src/HOL/Import/import_package.ML
--- 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
+