
diff -r cc9359bfacf4 -r 83f36a1c62f2 CookBook/Tactical.thy
--- a/CookBook/Tactical.thy	Thu Mar 05 16:46:43 2009 +0000
+++ b/CookBook/Tactical.thy	Fri Mar 06 16:12:16 2009 +0000
@@ -2,6 +2,7 @@
 imports Base FirstSteps
 begin
 
+
 chapter {* Tactical Reasoning\label{chp:tactical} *}
 
 text {*




