--- a/src/Tools/induct_tacs.ML Wed Mar 04 10:43:39 2009 +0100 +++ b/src/Tools/induct_tacs.ML Wed Mar 04 10:45:52 2009 +0100 @@ -1,5 +1,4 @@ (* Title: Tools/induct_tacs.ML - ID: $Id$ Author: Makarius Unstructured induction and cases analysis.