--- a/src/Pure/Isar/rule_cases.ML Fri Jan 12 16:32:01 2001 +0100
+++ b/src/Pure/Isar/rule_cases.ML Fri Jan 12 16:56:20 2001 +0100
@@ -96,8 +96,8 @@
in
-val make = gen_make false;
-val make_raw = gen_make true;
+fun make x = gen_make false x;
+fun make_raw x = gen_make true x;
end;