src/Tools/induct_tacs.ML
changeset 30161 c26e515f1c29
parent 28308 d4396a28fb29
child 30541 9f168bdc468a
     1.1 --- a/src/Tools/induct_tacs.ML	Sat Feb 28 14:02:12 2009 +0100
     1.2 +++ b/src/Tools/induct_tacs.ML	Sat Feb 28 14:09:58 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      Tools/induct_tacs.ML
     1.5 -    ID:         $Id$
     1.6      Author:     Makarius
     1.7  
     1.8  Unstructured induction and cases analysis.