2005-09-01 wenzelm 2005-09-01 updated;
2005-09-01 wenzelm 2005-09-01 renamed 'thms_containing' to 'find_theorems' -- keep old version for the time being;
2005-09-01 wenzelm 2005-09-01 removed obsolete 'symbols' mode;
2005-09-01 wenzelm 2005-09-01 added PGASCII print_mode, which represents special chars as ASCII 1 + A ... Z; tuned;
2005-09-01 paulson 2005-09-01 improved formatting
2005-09-01 wenzelm 2005-09-01 isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;
2005-09-01 wenzelm 2005-09-01 updated;
2005-08-31 wenzelm 2005-08-31 fixed ins_tokentr: AList.default;
2005-08-31 nipkow 2005-08-31 comp -> compile
2005-08-31 wenzelm 2005-08-31 Additional BigO lemmas that require the HOL-Complex logic image;
2005-08-31 wenzelm 2005-08-31 added copy-dump option;
2005-08-31 wenzelm 2005-08-31 added line break for 'uses';
2005-08-31 wenzelm 2005-08-31 added no_body_context;
2005-08-31 wenzelm 2005-08-31 use_dir: added copy-dump option;
2005-08-31 wenzelm 2005-08-31 present_text: Toplevel.no_body_context prevents use of wrong context in interaction;
2005-08-31 wenzelm 2005-08-31 refer to theory instead of low-level tsig; use Thm.full_prop_of instead of Thm.prop_of; tuned use of map/filter/fold;
2005-08-31 wenzelm 2005-08-31 tuned classes_arities_of;
2005-08-31 wenzelm 2005-08-31 refer to theory instead of low-level tsig;
2005-08-31 wenzelm 2005-08-31 added Avigad-Donnelly;
2005-08-31 wenzelm 2005-08-31 reactivate postfix by change of syntax; tuned presentation;
2005-08-31 wenzelm 2005-08-31 tuned presentation;
2005-08-31 wenzelm 2005-08-31 moved lemmas that require the HOL-Complex logic image to Complex/ex/BigO_Complex.thy; tuned presentation;
2005-08-31 wenzelm 2005-08-31 added Complex/ex/BigO_Complex.thy;
2005-08-31 wenzelm 2005-08-31 simp_implies: proper named infix;
2005-08-31 wenzelm 2005-08-31 tuned;
2005-08-31 wenzelm 2005-08-31 isatool usedir: added option -C;
2005-08-31 wenzelm 2005-08-31 added option -C: copy existing document directory;
2005-08-31 wenzelm 2005-08-31 * Delimiters of outer tokens now produce separate LaTeX macros; * isatool usedir: option -C (default true) controls copying of document directory;
2005-08-31 haftmann 2005-08-31 introduced AList.*
2005-08-31 haftmann 2005-08-31 better map_entry
2005-08-30 schirmer 2005-08-30 fixed bug in record_type_abbr_tr'
2005-08-30 paulson 2005-08-30 patterns in setsum and setprod
2005-08-29 obua 2005-08-29 Updated import.
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-29 wenzelm 2005-08-29 delimiter markup for verbatim tokens;
2005-08-29 wenzelm 2005-08-29 clarify type tok, do not emit markup flag for suppressed tokens;
2005-08-29 wenzelm 2005-08-29 use AList operations;
2005-08-29 wenzelm 2005-08-29 cover tagged command regions; tuned;
2005-08-29 wenzelm 2005-08-29 tune spacing where a generated theory text is included directly;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-29 wenzelm 2005-08-29 recover original definitions of \isactrlsub etc.;
2005-08-29 haftmann 2005-08-29 canonical interface for 'default'
2005-08-28 wenzelm 2005-08-28 output \<^loc> as 'loc' span; tuned;
2005-08-28 wenzelm 2005-08-28 isatool latex -o sty;
2005-08-28 wenzelm 2005-08-28 added 'loc';
2005-08-28 wenzelm 2005-08-28 updated;
2005-08-28 wenzelm 2005-08-28 ASCII back-quote no longer sym char;
2005-08-28 wenzelm 2005-08-28 added \isactrlloc;
2005-08-28 wenzelm 2005-08-28 * ML functions legacy_bindings and use_legacy_bindings;
2005-08-28 wenzelm 2005-08-28 avoid symbolic identifier;
2005-08-28 wenzelm 2005-08-28 added (use_)legacy_bindings;
2005-08-28 wenzelm 2005-08-28 output_basic: handle AltString token;
2005-08-28 wenzelm 2005-08-28 removed obsolete type_syn;
2005-08-28 wenzelm 2005-08-28 unskolem local vars;
2005-08-28 wenzelm 2005-08-28 tuned;
2005-08-28 wenzelm 2005-08-28 added alt_string;
2005-08-28 wenzelm 2005-08-28 added AltString token (delimited by ASCII back-quotes); ASCII back-quote no longer symbolic char;
2005-08-28 wenzelm 2005-08-28 removed unused dest operation;
2005-08-28 wenzelm 2005-08-28 export theorems_of;
2005-08-28 wenzelm 2005-08-28 tuned some proofs;