--- a/src/HOL/HOL.ML Wed Oct 08 16:02:54 2003 +0200
+++ b/src/HOL/HOL.ML Thu Oct 09 18:13:32 2003 +0200
@@ -79,7 +79,6 @@
val True_or_False = True_or_False;
val Let_def = Let_def;
val if_def = if_def;
- val arbitrary_def = arbitrary_def;
end;
open HOL;