1997-10-09 wenzelm tuned exports;
1997-10-09 wenzelm fixed axiom names;
1997-10-08 wenzelm symbols syntax;
1997-10-08 wenzelm A formalization of TLA in HOL -- by Stephan Merz;
1997-10-07 wenzelm improved types of add_XXX funs (xtyp etc.);
1997-10-07 wenzelm improved types of add_XXX funs (xtyp etc.);
1997-10-07 wenzelm tuned decode;
1997-10-07 wenzelm tuned internal mapping table;
1997-10-07 wenzelm tuned;
1997-10-07 wenzelm tuned warning msg;
1997-10-07 wenzelm tuned;
1997-10-07 wenzelm The Isabelle Logo;
1997-10-06 wenzelm fixed 'begin';
1997-10-06 wenzelm optional begin keyword;
1997-10-06 wenzelm "->" made syntax;
1997-10-06 wenzelm eliminated raise_term;
1997-10-06 wenzelm eliminated raise_term, raise_typ;
1997-10-06 wenzelm add_arities_i;
1997-10-06 wenzelm TODO: handle internal / external names;
1997-10-06 wenzelm now supports qualified names (intern vs. extern) !!!
1997-10-06 wenzelm eliminated raise_term, raise_typ;
1997-10-06 wenzelm tuned read_cterms;
1997-10-06 wenzelm eliminated raise_term, raise_typ;
1997-10-06 wenzelm new internal forms: add_classes_i, add_classrel_i, add_defsort_i, add_arities_i
1997-10-06 wenzelm tuned;
1997-10-06 wenzelm now uses new Sign.pretty_sort;
1997-10-06 wenzelm eliminated raise_term, raise_typ;
1997-10-06 wenzelm now uses Syntax.simple_str_of_sort;
1997-10-06 wenzelm added simple_str_of_sort;
1997-10-06 wenzelm eliminated raise_term;
1997-10-06 wenzelm added 'path' section;
1997-10-06 wenzelm added pretty_sort;
1997-10-06 wenzelm fixed raw_term_sorts (again!);
1997-10-06 wenzelm eliminated raise_ast, raise_term, raise_typ;
1997-10-06 wenzelm added sort_to_ast;
1997-10-06 wenzelm eliminated raise_ast;
1997-10-06 wenzelm RAW target;
1997-10-06 wenzelm syntactic constants;
1997-10-03 paulson Routine tidying up
1997-10-02 wenzelm fully qualified names: Theory.add_XXX;
1997-10-01 wenzelm fully qualified name: Theory.set_oracle;
1997-10-01 wenzelm exported separator;
1997-10-01 wenzelm fully qualified names: Theory.add_XXX;
1997-10-01 wenzelm moved theory stuff (add_defs etc.) here from drule.ML;
1997-10-01 wenzelm moved theory stuff (add_defs etc.) to theory.ML;
1997-10-01 wenzelm fully qualified name: Theory.merge_thy_list;
1997-10-01 wenzelm fully qualified names: Theory.add_XXX;
1997-10-01 wenzelm added name_space.ML;
1997-10-01 wenzelm added split_last;
1997-10-01 wenzelm Hierarchically structured name spaces.
1997-10-01 paulson Strengthened the possibility property for resumption so that it could have
1997-10-01 paulson Fixed ServerResume to check for ServerHello instead of making a new NB
1997-10-01 paulson Exchanged the M and SID fields of the FINISHED messages to simplify proofs;
1997-10-01 paulson Exchanged the M and SID fields of the FINISHED messages to simplify proofs
1997-10-01 paulson Auto update
1997-09-30 berghofe SYNC
1997-09-30 berghofe Removed "browse.tex".
1997-09-30 berghofe Added section describing the theory browser.
1997-09-30 berghofe Updated usage information for tool "usedir".
1997-09-30 berghofe Theory browser stuff has been moved to "present.tex".
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip