1999-10-21 wenzelm 1999-10-21 forall_elim_var(s) moved to pure_thy.ML;
1999-10-21 wenzelm 1999-10-21 *** empty log message ***
1999-10-21 wenzelm 1999-10-21 removed \BG, \EN;
1999-10-21 wenzelm 1999-10-21 updated;
1999-10-21 wenzelm 1999-10-21 added \ISS;
1999-10-20 wenzelm 1999-10-20 eliminated isar_action;
1999-10-20 wenzelm 1999-10-20 remove_thy: warn unknown theory (rather than error);
1999-10-20 wenzelm 1999-10-20 use_mltext: better control of verbosity;
1999-10-20 wenzelm 1999-10-20 use_text: remove last char from output;
1999-10-20 wenzelm 1999-10-20 option -m TARGET;
1999-10-20 wenzelm 1999-10-20 removed -B option;
1999-10-20 wenzelm 1999-10-20 tuned usage;
1999-10-20 wenzelm 1999-10-20 the settings environment is now statically scoped; tuned;
1999-10-20 wenzelm 1999-10-20 fixed update_thy_only;
1999-10-19 wenzelm 1999-10-19 qed_spec_mp is a mess;
1999-10-19 wenzelm 1999-10-19 tuned;
1999-10-18 wenzelm 1999-10-18 tuned;
1999-10-18 wenzelm 1999-10-18 update by Stephan Merz;
1999-10-18 paulson 1999-10-18 exchanged the first two args of "project" and "drop_prog"
1999-10-18 paulson 1999-10-18 fixed comments
1999-10-18 paulson 1999-10-18 working version with localTo[C] instead of localTo
1999-10-18 paulson 1999-10-18 new thm disjoint_iff_not_equal
1999-10-18 paulson 1999-10-18 new thm vimage_image_eq
1999-10-16 wenzelm 1999-10-16 PROOFGENERAL_OPTIONS="-u false";
1999-10-15 wenzelm 1999-10-15 improved presentation;
1999-10-15 wenzelm 1999-10-15 fixed comment;
1999-10-15 berghofe 1999-10-15 Removed obsolete comment.
1999-10-15 berghofe 1999-10-15 Documented thm_deps.
1999-10-14 berghofe 1999-10-14 Corrected typo.
1999-10-14 wenzelm 1999-10-14 improved presentation;
1999-10-14 wenzelm 1999-10-14 support thumbpdf;
1999-10-14 wenzelm 1999-10-14 fixed comment;
1999-10-14 wenzelm 1999-10-14 pdf: generate thumbnails if ISABELLE_THUMBPDF set;
1999-10-14 wenzelm 1999-10-14 support thumbpdf (via 'png' output format);
1999-10-14 wenzelm 1999-10-14 thumbpdf (disabled by default);
1999-10-14 wenzelm 1999-10-14 document preparation based on (PDF)LaTeX;
1999-10-14 wenzelm 1999-10-14 renamed verbatim/verb to text_raw/txt_raw;
1999-10-14 wenzelm 1999-10-14 tuned;
1999-10-14 wenzelm 1999-10-14 improved presentation;
1999-10-13 wenzelm 1999-10-13 berghofe;
1999-10-13 wenzelm 1999-10-13 isabelle-isar-ref;
1999-10-13 wenzelm 1999-10-13 tuned usage;
1999-10-13 wenzelm 1999-10-13 -d pdf;
1999-10-13 wenzelm 1999-10-13 system; use_text: pass print function;
1999-10-13 wenzelm 1999-10-13 use_text_verbose;
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