diff -r 69d815b0e1eb -r 21291189b51e hol.ML
--- a/hol.ML	Thu Feb 24 14:45:57 1994 +0100
+++ b/hol.ML	Wed Mar 02 12:26:55 1994 +0100
@@ -337,6 +337,7 @@
 fun sstac ths = EVERY' (map stac ths);
 fun strip_tac i = REPEAT(resolve_tac [impI,allI] i); 
 
+
 end;
 
 open HOL_Lemmas;