# HG changeset patch
# User wenzelm
# Date 1113410873 -7200
# Node ID 1291a8f2ccb12ab46dc884d699f5dcf1ecf4d78e
# Parent  dfa913c68f9d14d08e71887a66d80f8055be47f4
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Sign.prep_ext_merge;

diff -r dfa913c68f9d -r 1291a8f2ccb1 src/Pure/theory.ML
--- a/src/Pure/theory.ML	Wed Apr 13 18:47:43 2005 +0200
+++ b/src/Pure/theory.ML	Wed Apr 13 18:47:53 2005 +0200
@@ -572,3 +572,4 @@
 
 structure BasicTheory: BASIC_THEORY = Theory;
 open BasicTheory;
+