src/Pure/envir.ML
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