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;