1999-05-05 wenzelm 1999-05-05 tuned;
1999-05-05 wenzelm 1999-05-05 manual.bib;
1999-05-05 wenzelm 1999-05-05 no rail;
1999-05-05 wenzelm 1999-05-05 fixed FILES;
1999-05-05 wenzelm 1999-05-05 improved Makefile;
1999-05-05 wenzelm 1999-05-05 improved Makefile;
1999-05-05 wenzelm 1999-05-05 isabelle.eps;
1999-05-05 wenzelm 1999-05-05 improved Makefile; no rail;
1999-05-05 wenzelm 1999-05-05 tuned;
1999-05-05 wenzelm 1999-05-05 improved Makefile;
1999-05-05 wenzelm 1999-05-05 *** empty log message ***
1999-05-05 wenzelm 1999-05-05 Common part for Doc Makefiles;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-05-05 wenzelm 1999-05-05 tuned rpm file names;
1999-05-05 wenzelm 1999-05-05 updated docs;
1999-05-05 nipkow 1999-05-05 Bibtex database for documentation.
1999-05-05 nipkow 1999-05-05 Bibtex stuff.
1999-05-04 wenzelm 1999-05-04 *** empty log message ***
1999-05-04 wenzelm 1999-05-04 HOL;
1999-05-04 wenzelm 1999-05-04 removed HOL.tex;
1999-05-04 wenzelm 1999-05-04 tuned;
1999-05-04 wenzelm 1999-05-04 updated;
1999-05-04 wenzelm 1999-05-04 HOL part moved to 'logics-HOL' manual;
1999-05-04 wenzelm 1999-05-04 fixed;
1999-05-04 wenzelm 1999-05-04 used to be part of 'logics' manual;
1999-05-04 wenzelm 1999-05-04 isabelle_zf image;
1999-05-04 wenzelm 1999-05-04 *** empty log message ***
1999-05-04 nipkow 1999-05-04 Arithmetic.
1999-05-04 wenzelm 1999-05-04 add_recdef: removed names / attributes;
1999-05-04 paulson 1999-05-04 new definitions of Co and LeadsTo
1999-05-04 wenzelm 1999-05-04 transaction: Theory.copy;
1999-05-04 wenzelm 1999-05-04 hide prep_ext, merge_theories;
1999-05-04 wenzelm 1999-05-04 oops;
1999-05-04 wenzelm 1999-05-04 tuned;
1999-05-04 paulson 1999-05-04 Invariant -> Always and other tidying
1999-05-03 wenzelm 1999-05-03 tuned;
1999-05-03 wenzelm 1999-05-03 theory loader stuff updated and improved;
1999-05-03 wenzelm 1999-05-03 fixed reqs?
1999-05-03 paulson 1999-05-03 improved error handling
1999-05-03 paulson 1999-05-03 renamed state variables
1999-05-03 paulson 1999-05-03 tidied
1999-05-03 wenzelm 1999-05-03 tuned;
1999-05-03 wenzelm 1999-05-03 prefer /bin for ./configure;
1999-05-03 wenzelm 1999-05-03 try chown root:root;
1999-05-01 wenzelm 1999-05-01 renamed 'dummy' to 'dummy_pattern' (less dangerous);
1999-04-30 wenzelm 1999-04-30 tuned;
1999-04-30 wenzelm 1999-04-30 method = meth3 (again);
1999-04-30 wenzelm 1999-04-30 peoper defer_recdef interface;
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1999-04-30 wenzelm 1999-04-30 separated recdef / defer_recdef;
1999-04-30 wenzelm 1999-04-30 tuned defer_recdef interfaces;
1999-04-30 wenzelm 1999-04-30 comment, interest;
1999-04-30 wenzelm 1999-04-30 Comment.text;
1999-04-30 wenzelm 1999-04-30 comment sections; made "%" a keyword;
1999-04-30 wenzelm 1999-04-30 dummy patterns; theory data: copy;
1999-04-30 wenzelm 1999-04-30 added Isar/comment.ML;
1999-04-30 wenzelm 1999-04-30 val foldl_map_aterms: ('a * term -> 'a * term) -> 'a * term -> 'a * term;
1999-04-30 wenzelm 1999-04-30 theory data: copy; consts dummy :: 'a ("'_");
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1999-04-30 wenzelm 1999-04-30 improved icons;