src/Pure/sign.ML
changeset 15723 5b594d6ec919
parent 15703 727ef1b8b3ee
child 15746 44260d72de35
--- 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;
+