2005-04-19 paulson more tidying of libraries in Reconstruction
2005-04-19 quigley Completed integration of reconstruction code. Now finds and displays proofs when used with modified version
2005-04-19 paulson auto update
2005-04-19 paulson restored the target HOL-Complex-Import
2005-04-19 paulson fixed presentation
2005-04-19 obua Removed mult_commute axiom from comm_semiring axclass.
2005-04-18 webertj compilation error fixed
2005-04-18 webertj support for recursion over mutually recursive IDTs
2005-04-18 ballarin Cleaned up, now use interpretation.
2005-04-18 ballarin Cleaned up, now uses interpretation.
2005-04-18 paulson deleted obsolete code
2005-04-18 ballarin Interpretation supports statically scoped attributes; documentation.
2005-04-17 wenzelm updated;
2005-04-17 wenzelm added delete_safe, insert, remove, remove_multi;
2005-04-17 wenzelm clarified insert/remove;
2005-04-17 wenzelm tuned;
2005-04-17 wenzelm binds/thms: do not store options, but delete from table;
2005-04-17 wenzelm tuned comments;
2005-04-17 wenzelm removed;
2005-04-16 wenzelm expect translations functions to be stamped already;
2005-04-16 wenzelm added stamp_trfun, mk_trfun, eq_trfun;
2005-04-16 wenzelm tuned extend_prtabs;
2005-04-16 wenzelm added make_gram;
2005-04-16 wenzelm identify binder translations only once (admits remove);
2005-04-16 wenzelm Syntax.mk_trfun;
2005-04-16 wenzelm tuned (t)inst_tab_elem;
2005-04-16 wenzelm added 'no_syntax' command;
2005-04-16 wenzelm added del_modesyntax(_i);
(0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip