# HG changeset patch
# User wenzelm
# Date 1113410982 -7200
# Node ID 5b594d6ec919bf15a79694251726e18f98dd97b7
# Parent  e40cd03ca04802c980111394997befea0a6a48e6
*** MESSAGE REFERS TO PREVIOUS VERSION ***
added declared_tyname/const and read_tyname/const;
removed certify_tyname/const;
added prep_ext_merge, nontriv_merge kept internal;
efficient subsig test;

diff -r e40cd03ca048 -r 5b594d6ec919 src/Pure/sign.ML
--- a/src/Pure/sign.ML	Wed Apr 13 18:49:22 2005 +0200
+++ b/src/Pure/sign.ML	Wed Apr 13 18:49:42 2005 +0200
@@ -1273,3 +1273,4 @@
 end;
 
 end;
+