--- a/src/Pure/ROOT.ML Fri Aug 11 12:36:15 1995 +0200
+++ b/src/Pure/ROOT.ML Mon Aug 14 13:42:27 1995 +0200
@@ -12,7 +12,7 @@
*)
val banner = "Pure Isabelle";
-val version = "Isabelle-94 revision 3: April 95";
+val version = "Isabelle-94 revision 4: August 95";
print_depth 1;