2000-09-21 kleing 2000-09-21 Digest.thy as toplevel theory
2000-09-21 kleing 2000-09-21 theorem digest of all MicroJava theorems, theories in alphabetical order may also serve as toplevel file that includes all other theories
2000-09-21 fleuriot 2000-09-21 New theories: construction of hypernaturals, nonstandard extensions, and some nonstandard analysis.
2000-09-21 kleing 2000-09-21 tuned, added lightweight BV to abstract, added Bali link
2000-09-21 fleuriot 2000-09-21 Updated Files with new theorems
2000-09-21 kleing 2000-09-21 unsymbolized
2000-09-20 wenzelm 2000-09-20 removed dead code;
2000-09-20 wenzelm 2000-09-20 added "install" target;
2000-09-20 wenzelm 2000-09-20 tuned;
2000-09-20 wenzelm 2000-09-20 tuned rpm command lines;
2000-09-20 wenzelm 2000-09-20 updated;
2000-09-20 wenzelm 2000-09-20 made SML/NJ happy;
2000-09-19 wenzelm 2000-09-19 added common args keywords;
2000-09-19 wenzelm 2000-09-19 tuned args;
2000-09-19 wenzelm 2000-09-19 added iff_add_global', iff_add_local' (syntax "iff?"); tuned;
2000-09-19 wenzelm 2000-09-19 tuned;
2000-09-19 wenzelm 2000-09-19 attribute / modifier 'iff': support "?" mode;
2000-09-19 wenzelm 2000-09-19 tuned msg;
2000-09-19 wenzelm 2000-09-19 updated;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 remove unreadable symbol names from sources;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 added plain "tt" style;
2000-09-18 wenzelm 2000-09-18 *** empty log message ***
2000-09-18 wenzelm 2000-09-18 rpm --force;
2000-09-18 wenzelm 2000-09-18 best-style made default;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 include ANNOUNCE;
2000-09-18 wenzelm 2000-09-18 improved pages;
2000-09-18 wenzelm 2000-09-18 indicate occurrences of 'handle _';
2000-09-17 wenzelm 2000-09-17 removed -x option;
2000-09-17 wenzelm 2000-09-17 made SML/NJ happy;
2000-09-17 wenzelm 2000-09-17 AddXIs [prod_eqI];
2000-09-17 wenzelm 2000-09-17 AddXIs [ext];
2000-09-17 wenzelm 2000-09-17 added print_thm(s)_sg;
2000-09-17 wenzelm 2000-09-17 begin_theory: removed message;
2000-09-17 wenzelm 2000-09-17 Display.pretty_thm_sg;
2000-09-17 wenzelm 2000-09-17 isar-strip-terminators;
2000-09-17 wenzelm 2000-09-17 tuned;
2000-09-17 wenzelm 2000-09-17 updated;
2000-09-15 wenzelm 2000-09-15 safe_asm_full_simp_tac is back (for compat);
2000-09-15 wenzelm 2000-09-15 cleaned up and prepared for Isabelle99-1;
2000-09-15 wenzelm 2000-09-15 *** empty log message ***
2000-09-15 wenzelm 2000-09-15 added;
2000-09-15 wenzelm 2000-09-15 someI2_ex;
2000-09-15 wenzelm 2000-09-15 added "congs" keyword;
2000-09-15 wenzelm 2000-09-15 fixed someI2_ex;
2000-09-15 wenzelm 2000-09-15 keep export of ISABELLE_TMP (!!!);
2000-09-15 wenzelm 2000-09-15 added s/selectI/someI/g;
2000-09-15 wenzelm 2000-09-15 tuned;
2000-09-15 wenzelm 2000-09-15 XSYMBOL_INSTALLFONTS is back;
2000-09-15 nipkow 2000-09-15 *** empty log message ***
2000-09-15 nipkow 2000-09-15 *** empty log message ***
2000-09-15 wenzelm 2000-09-15 "hints" made keyword again;
2000-09-15 wenzelm 2000-09-15 hunting gremlins ...;
2000-09-15 wenzelm 2000-09-15 tentative fix while hunting gremlins ...;
2000-09-15 oheimb 2000-09-15 added new papers