1994-08-23 wenzelm removed constant _constrain from Pure sig;
1994-08-22 lcp ZF/upair/consE', UnE': new
1994-08-22 lcp ZF/Cardinal: some results moved here from CardinalArith
1994-08-22 lcp Pure/Thy/thy_parse/THY_PARSE: deleted duplicate specifications of parens,
1994-08-22 lcp HOLCF/Lift1.thy: now imports Sum
1994-08-19 wenzelm replaced Lexicon.scan_id by Scanner.scan_id;
1994-08-19 wenzelm replaced add_defns_i by add_defs_i;
1994-08-19 wenzelm replaced sextension.ML by syn_trans.ML;
1994-08-19 wenzelm slightly changed args of infer_types;
1994-08-19 wenzelm added inferT_axm;
1994-08-19 wenzelm replaced mapst by map;
1994-08-19 wenzelm added pretty_sg;
1994-08-19 wenzelm added add_defs, add_defs_i;
1994-08-19 wenzelm cleaned sig;
Loading...
(0) -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip