src/HOL/Tools/induct_method.ML
Tue, 07 Sep 1999 18:10:33 +0200 wenzelm rule option;
Fri, 16 Jul 1999 13:25:45 +0200 berghofe Replaced datatype_info by datatype_info_err.
Tue, 27 Apr 1999 10:47:40 +0200 wenzelm support forward chaining;
Fri, 16 Apr 1999 17:47:06 +0200 wenzelm may specify induction predicates as well;
Fri, 16 Apr 1999 14:50:30 +0200 wenzelm Proof by induction on types / set / functions.
less more (0) tip