# HG changeset patch
# User wenzelm
# Date 1113410812 -7200
# Node ID 64a134029fe4dfc7d16def4c90a8102fcff16e8f
# Parent  99bd15fd58def62f0635c201f644b86eb2b5714a
*** MESSAGE REFERS TO PREVIOUS VERSION ***
type src = Args.src;
Drule.add_used;

diff -r 99bd15fd58de -r 64a134029fe4 src/Pure/Isar/method.ML
--- a/src/Pure/Isar/method.ML	Wed Apr 13 18:46:39 2005 +0200
+++ b/src/Pure/Isar/method.ML	Wed Apr 13 18:46:52 2005 +0200
@@ -825,3 +825,4 @@
 
 structure BasicMethod: BASIC_METHOD = Method;
 open BasicMethod;
+