--- a/src/Pure/ROOT.ML Wed May 21 17:13:00 1997 +0200
+++ b/src/Pure/ROOT.ML Wed May 21 17:21:46 1997 +0200
@@ -12,7 +12,7 @@
*)
val banner = "Pure Isabelle";
-val version = "Isabelle-94 revision 7: November 96";
+val version = "Isabelle-94 revision 8: May 1997";
print_depth 1;