# HG changeset patch
# User paulson
# Date 837524671 -7200
# Node ID 9ac4c2240d892e360c4fc0f9f1d8809a35faf504
# Parent  9402e633fe53451686cb7b51c60e4e4243b4a03e
Increased revision number

diff -r 9402e633fe53 -r 9ac4c2240d89 src/Pure/ROOT.ML
--- 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;