src/HOL/Lambda/Type.thy
2000-09-12 wenzelm 2000-09-12 renamed atts: rulify to rule_format, elimify to elim_format;
2000-09-07 wenzelm 2000-09-07 updated attribute names;
2000-09-02 wenzelm 2000-09-02 HOL/Lambda: converted into new-style theory and document;
2000-09-01 wenzelm 2000-09-01 converted Lambda scripts;
2000-08-29 wenzelm 2000-08-29 Lambda/InductTermi made new-style theory; tuned;
2000-08-19 wenzelm 2000-08-19 fixed text;
2000-08-17 wenzelm 2000-08-17 tuned;
2000-08-17 wenzelm 2000-08-17 converted to new-style theory;
2000-06-23 berghofe 2000-06-23 Subject reduction and strong normalization of simply-typed lambda terms.