# HG changeset patch
# User wenzelm
# Date 1113410772 -7200
# Node ID f04c3d668c6562d390a9c1d17c61e796d0eb0adf
# Parent  ef7b74e52f117ec9f486584e2d640eebcbc735b1
*** MESSAGE REFERS TO PREVIOUS VERSION ***
use args.ML, attrib.ML earlier;

diff -r ef7b74e52f11 -r f04c3d668c65 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Wed Apr 13 18:46:04 2005 +0200
+++ b/src/Pure/Isar/ROOT.ML	Wed Apr 13 18:46:12 2005 +0200
@@ -82,3 +82,4 @@
   structure IsarSyn = IsarSyn;
   structure Isar = Isar;
 end;
+