src/Provers/ind.ML
2006-10-04 haftmann 2006-10-04 insert replacing ins ins_int ins_string
2006-08-05 wenzelm 2006-08-05 avoid low-level tsig;
2006-03-21 wenzelm 2006-03-21 remove (op =);
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-01-24 berghofe 2005-01-24 Eliminated hack for deleting leading question mark from induction variable name.
2004-05-21 wenzelm 2004-05-21 Type.typ_instance;
2004-04-22 wenzelm 2004-04-22 tuned;
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1996-02-16 paulson 1996-02-16 Elimination of fully-functorial style. Type tactic changed to a type abbrevation (from a datatype). Constructor tactic and function apply deleted.
1993-09-16 clasohm 1993-09-16 Initial revision