src/FOLP/simp.ML
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 expanded tabs
1994-09-14 wenzelm 1994-09-14 now uses Sign.const_type;
1994-01-18 lcp 1994-01-18 Updated refs to old Sign functions
1993-09-16 clasohm 1993-09-16 Initial revision