# HG changeset patch
# User wenzelm
# Date 1113410962 -7200
# Node ID e40cd03ca04802c980111394997befea0a6a48e6
# Parent  1071f41a8441a12756514aa118e69213682a8233
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Attrib.src;
removed Locale.multi_attribute (pass Attrib.src instead);
removed interpret(_i) (use have_i instead);
goals: more uniform treatment of after_qed, removed separate thy_mod of global goals;

diff -r 1071f41a8441 -r e40cd03ca048 src/Pure/Isar/proof.ML
--- a/src/Pure/Isar/proof.ML	Wed Apr 13 18:49:07 2005 +0200
+++ b/src/Pure/Isar/proof.ML	Wed Apr 13 18:49:22 2005 +0200
@@ -976,3 +976,4 @@
 
 structure BasicProof: BASIC_PROOF = Proof;
 open BasicProof;
+