2006-05-23 wenzelm pretty_full_theory: tuned output of definitions;
2006-05-23 wenzelm export plain_args;
2006-05-22 wenzelm Defs.specifications_of: lhs/rhs now use typargs;
2006-05-22 wenzelm removed unchecked'';
2006-05-22 wenzelm pretty_full_theory: defs;
2006-05-22 wenzelm specifications_of: lhs/rhs represented as typargs;
2006-05-22 wenzelm export raw_unifys, could_unifys;
2006-05-20 wenzelm made smlnj happy;
2006-05-20 wenzelm export raw_matches;
2006-05-20 wenzelm tuned Defs interfaces;
2006-05-20 wenzelm yet another re-implementation:
2006-05-20 wenzelm removed obsolete partition (cf. List.partition);
2006-05-20 wenzelm class axiomatization: finals;
2006-05-20 wenzelm abs: precise typing;
2006-05-20 wenzelm added syntax for 'unchecked';
2006-05-20 wenzelm primrec (unchecked);
2006-05-20 wenzelm List.partition;
2006-05-20 wenzelm ax_derivs: precise typing;
2006-05-20 wenzelm pow: unchecked;
2006-05-20 wenzelm removed obsolete 'finalconsts';
2006-05-17 wenzelm * Pure: syntax 'CONST name' produces a fully internalized constant;
2006-05-17 wenzelm added CONST syntax;
2006-05-17 wenzelm export generic term_syntax;
2006-05-17 wenzelm consts: replaced early'' flag by inverted authentic'';
2006-05-17 wenzelm added mapping;
2006-05-17 wenzelm replaced early'' flag by inverted authentic'';
2006-05-17 wenzelm renamed CONST to CONSTANT;
2006-05-17 paulson removing the string array from the result of get_clasimp_atp_lemmas
Loading...
(0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip