src/Pure/envir.ML
1996-11-18 paulson 1996-11-18 Speedups involving norm
1996-11-13 paulson 1996-11-13 In-lined the one function call to normTsh
1996-11-01 paulson 1996-11-01 Deleted Olist constructor. Replaced minidx by "above" 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.
1996-01-29 clasohm 1996-01-29 inserted tabs again
1996-01-29 clasohm 1996-01-29 removed tabs
1994-11-21 lcp 1994-11-21 Pure/envir/norm_term: replaced equality test for [] by null
1994-01-24 wenzelm 1994-01-24 added is_empty: env -> bool, minidx: env -> int option;
1993-09-16 clasohm 1993-09-16 Initial revision