src/Pure/logic.ML
1997-01-16 wenzelm 1997-01-16 added term order;
1996-11-28 paulson 1996-11-28 Replaced map...~~ by ListPair.map
1996-06-28 paulson 1996-06-28 Restored warning comment
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.
1996-01-29 clasohm 1996-01-29 inserted tabs again
1996-01-29 clasohm 1996-01-29 removed tabs
1994-10-12 wenzelm 1994-10-12 added is_equals: term -> bool;
1994-09-06 lcp 1994-09-06 Pure/type/unvarifyT: moved there from logic.ML
1994-08-18 lcp 1994-08-18 /unvarifyT, unvarify: moved to Pure/logic.ML
1994-07-06 wenzelm 1994-07-06 changed comment only;
1994-05-26 wenzelm 1994-05-26 added mk_type, dest_type, mk_inclass, dest_inclass (for axclasses); restored functor sig constraint :LOGIC;
1994-01-04 wenzelm 1994-01-04 commented out sig constraint of functor (for debugging purposes);
1993-10-21 lcp 1993-10-21 logic/mk_equals,mk_flexpair: now calls fastype_of instead of type_of. So it no longer checks t properly -- but it never checked u anyway, and all existing calls are derived from certified terms...
1993-09-16 clasohm 1993-09-16 Initial revision