src/HOL/hologic.ML
1998-12-18 paulson 1998-12-18 new function dest_eq
1998-07-28 wenzelm 1998-07-28 tuned;
1998-06-30 berghofe 1998-06-30 Moved most of the Prod_Syntax - stuff to HOLogic.
1998-01-14 wenzelm 1998-01-14 added unit and prod stuff;
1997-12-23 paulson 1997-12-23 Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac
1997-11-26 wenzelm 1997-11-26 added dest_nat;
1997-10-06 wenzelm 1997-10-06 eliminated raise_term, raise_typ;
1997-01-16 wenzelm 1997-01-16 binary oprations and relations; nat;
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application