--- a/src/Tools/induct_tacs.ML Sat Feb 28 14:02:12 2009 +0100 +++ b/src/Tools/induct_tacs.ML Sat Feb 28 14:09:58 2009 +0100 @@ -1,5 +1,4 @@ (* Title: Tools/induct_tacs.ML - ID: $Id$ Author: Makarius Unstructured induction and cases analysis.