2000-08-28 wenzelm moved \tt things to ttbox.sty;
2000-08-28 wenzelm proper setup;
2000-08-28 wenzelm removed ttbox;
2000-08-28 nipkow *** empty log message ***
2000-08-28 nipkow *** empty log message ***
2000-08-25 paulson added \trivlist...\endtrivlist to the "isabelle" environment
2000-08-25 paulson moved congruence rules UN_cong, INT_cong from UNTIY/Union to Set.ML
2000-08-24 paulson xsymbols for {| and |}
2000-08-24 paulson xsymbols for leads-to and Join
2000-08-24 paulson fixed strip_assums and assum_pairs, restoring them (essentially) to their
2000-08-24 paulson added some xsymbols, and tidied
2000-08-23 wenzelm more symbols;
2000-08-23 wenzelm disabled trivlist (causes non-descript problems in HOL-Real-HahnBanach);
2000-08-23 wenzelm choosefrom: support easy settings;
2000-08-23 wenzelm choosefrom: easy settings;
2000-08-23 wenzelm isabelle env: trivlist;
2000-08-22 paulson removed redundant commands
2000-08-22 paulson removed most "makeatother", no longer needed
2000-08-22 paulson updated to latest versions of ttbox and ttbreak
2000-08-21 wenzelm updated;
2000-08-21 wenzelm updated;
2000-08-21 wenzelm updated;
2000-08-21 wenzelm tuned translations;
2000-08-21 nipkow *** empty log message ***
2000-08-21 wenzelm added \isastyleminor;
2000-08-21 wenzelm more \isachars;
2000-08-21 wenzelm fixed has_meta_prems: strip_assums_hyp;
2000-08-21 nipkow *** empty log message ***
2000-08-21 wenzelm updated;
2000-08-20 wenzelm open cases;
2000-08-19 wenzelm output \isachar;
2000-08-19 wenzelm cond_add_path;
2000-08-19 wenzelm fixed text;
2000-08-19 wenzelm turned into new-style theory;
2000-08-19 wenzelm tuned;
2000-08-19 wenzelm tuned \isastyle;
2000-08-19 wenzelm added \isachar definitions;
2000-08-19 wenzelm %\urlstyle{rm}
2000-08-19 wenzelm renamed cond_with_path to cond_add_path (add to front);
2000-08-18 paulson X-symbols for ordinal, cardinal, integer arithmetic
2000-08-18 wenzelm fixed RuleCases.make (invert flag);
2000-08-18 wenzelm removed obsolete add_recdef_x;
2000-08-18 wenzelm proper handling of defs;
2000-08-18 wenzelm Main now new-style theory; added Main.ML for compatibility;
2000-08-18 paulson simproc bug fix: only TYPING assumptions are given to the simplifier
2000-08-18 paulson better rules for cancellation of common factors across comparisons
2000-08-18 paulson new example ZF/ex/NatSum
2000-08-18 paulson now allows dest_coeff to fail
(0) -3000 -1000 -300 -100 -48 +48 +100 +300 +1000 +3000 +10000 +30000 tip