# HG changeset patch
# User wenzelm
# Date 1113410821 -7200
# Node ID 9b8da47715c39b0158c5606104ca99fca96d84ce
# Parent  64a134029fe4dfc7d16def4c90a8102fcff16e8f
*** MESSAGE REFERS TO PREVIOUS VERSION ***
removed uterm, added 'maybe';
Attrib.src;
improved thm_sel;

diff -r 64a134029fe4 -r 9b8da47715c3 src/Pure/Isar/outer_parse.ML
--- a/src/Pure/Isar/outer_parse.ML	Wed Apr 13 18:46:52 2005 +0200
+++ b/src/Pure/Isar/outer_parse.ML	Wed Apr 13 18:47:01 2005 +0200
@@ -364,3 +364,4 @@
 
 
 end;
+