2005-07-14 wenzelm accomodate change of real_of_XXX;
2005-07-14 obua - fixed bug concerning the renaming of axiom names
2005-07-14 haftmann added ` combinator
2005-07-14 haftmann (fix for smlnj)
2005-07-13 huffman simplified proof of cont_Iwhen3
2005-07-13 schirmer avoiding even more garbage
2005-07-13 aspinall Update PGIP packet handling, fixing unique session identifier.
2005-07-13 avigad fixed typos in theorem names
2005-07-13 avigad Additions to the Real (and Hyperreal) libraries:
2005-07-13 paulson tidied
2005-07-13 aspinall Add ISABELLE_PID for proof_general.ML
2005-07-13 wenzelm tuned msg;
2005-07-13 wenzelm added print_state_hook;
2005-07-13 wenzelm export previous;
2005-07-13 wenzelm removed ad-hoc atp_hook, cal_atp;
2005-07-13 wenzelm Toplevel.actual_proof;
Loading...
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip