1999-10-13 wenzelm 1999-10-13 system;
1999-10-13 wenzelm 1999-10-13 markup / varbatim: comment out (%) newline char;
1999-10-13 wenzelm 1999-10-13 use_text writeln;
1999-10-13 wenzelm 1999-10-13 mkdir, copy_all: system_command;
1999-10-13 wenzelm 1999-10-13 updated;
1999-10-13 berghofe 1999-10-13 Eliminated mutual_induct_tac.
1999-10-13 berghofe 1999-10-13 Eliminated mutual_induct_tac.
1999-10-13 berghofe 1999-10-13 Eliminated mutual_induct_tac.
1999-10-13 paulson 1999-10-13 more Collect laws
1999-10-13 paulson 1999-10-13 deleted the redundant less_imp_binomial_eq_0
1999-10-13 paulson 1999-10-13 choose just as an infix
1999-10-13 paulson 1999-10-13 simplified and generalized n_sub_lemma and n_subsets
1999-10-13 paulson 1999-10-13 working snapshot; more steps in Alloc
1999-10-13 paulson 1999-10-13 projecting/extending version of drop_prog_guarantees
1999-10-13 paulson 1999-10-13 new theorem set_mono
1999-10-12 wenzelm 1999-10-12 a4paper;
1999-10-12 wenzelm 1999-10-12 a4paper;
1999-10-12 wenzelm 1999-10-12 a4paper; tuned;
1999-10-12 wenzelm 1999-10-12 a4paper;
1999-10-12 paulson 1999-10-12 new "choose" lemmas by Florian Kammueller
1999-10-11 wenzelm 1999-10-11 improved presentation;
1999-10-11 wenzelm 1999-10-11 bind_thm "ccontr";
1999-10-11 wenzelm 1999-10-11 files: separate by " ";
1999-10-11 berghofe 1999-10-11 - Documented monotonicity theorems. - Tuned accessible part example.
1999-10-11 wenzelm 1999-10-11 a4paper;
1999-10-11 wenzelm 1999-10-11 tuned packages;
1999-10-11 wenzelm 1999-10-11 a4paper;
1999-10-11 paulson 1999-10-11 working shapshot with "projecting" and "extending"
1999-10-11 paulson 1999-10-11 replaced {x. True} by UNIV to work with the new simprule, Collect_const
1999-10-11 paulson 1999-10-11 new default simprule Collect_const and new them Diff_insert_absorb
1999-10-11 paulson 1999-10-11 new thm vimage_INT; deleted redundant UN_vimage
1999-10-11 paulson 1999-10-11 new thm Domain_mono
1999-10-11 paulson 1999-10-11 new thm card_Diff_singleton; tidied
1999-10-09 wenzelm 1999-10-09 more explanations;
1999-10-09 wenzelm 1999-10-09 tuned presentation;
1999-10-09 wenzelm 1999-10-09 added structured version of the proof;
1999-10-09 wenzelm 1999-10-09 improved;
1999-10-09 wenzelm 1999-10-09 bib;
1999-10-09 wenzelm 1999-10-09 support bibtex; tuned;
1999-10-09 wenzelm 1999-10-09 check format; support bibtex;
1999-10-09 wenzelm 1999-10-09 added ISABELLE_BIBTEX;
1999-10-09 wenzelm 1999-10-09 removed 8bit;
1999-10-08 wenzelm 1999-10-08 \isakeyword: italic correction;
1999-10-08 wenzelm 1999-10-08 old_header: proper error message;
1999-10-08 wenzelm 1999-10-08 tuned presentation;
1999-10-08 wenzelm 1999-10-08 update from Gertrud;
1999-10-08 wenzelm 1999-10-08 tuned;
1999-10-08 wenzelm 1999-10-08 url;
1999-10-08 wenzelm 1999-10-08 theorem database now also indexes constants "Trueprop", "all", "==>", "=="; thus thms_containing, findI etc. may retrieve more rules;
1999-10-08 wenzelm 1999-10-08 improved;
1999-10-08 wenzelm 1999-10-08 removed generated index.html;
1999-10-08 wenzelm 1999-10-08 isatool_document;
1999-10-08 wenzelm 1999-10-08 make: tuned usage;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-08 wenzelm 1999-10-08 include document;
1999-10-08 wenzelm 1999-10-08 return stored thms with proper naming in derivation;
1999-10-08 wenzelm 1999-10-08 improved special chars;
1999-10-08 wenzelm 1999-10-08 removed -c option;
1999-10-08 wenzelm 1999-10-08 tuned usage;
1999-10-08 wenzelm 1999-10-08 pass RC;