src/Pure/envir.ML
1994-11-21 ago Pure/envir/norm_term: replaced equality test for [] by null
1994-01-24 ago added is_empty: env -> bool, minidx: env -> int option;
1993-09-16 ago Initial revision