--- a/src/Pure/ROOT.ML Tue Jul 16 15:44:21 1996 +0200 +++ b/src/Pure/ROOT.ML Tue Jul 16 15:44:31 1996 +0200 @@ -12,7 +12,7 @@ *) val banner = "Pure Isabelle"; -val version = "Isabelle-94 revision 5: January 96"; +val version = "Isabelle-94 revision 6: July 96"; print_depth 1;