NEWS
1999-09-24 ago * HOL/Real/HahnBanach: the Hahn-Banach theorem for real vector spaces
1999-09-24 ago tuned;
1999-09-06 ago *** empty log message ***
1999-09-03 ago added bind_thms;
1999-09-03 ago new SVC url
1999-09-01 ago structures Vartab / Termtab (instances of TableFun);
1999-08-23 ago tuned;
1999-08-23 ago record_simproc;
1999-08-23 ago simplifier flex heads.
1999-08-23 ago Moved sum_case to theory HOL/Datatype.
1999-08-21 ago real numerals;
1999-08-19 ago * HOLCF/IOA/Sequents: renamed 'Cons' to 'Consq' to avoid clash with HOL/List;
1999-08-19 ago defer_recdef
1999-08-19 ago tuned;
1999-08-18 ago sum_case renamed to basic_sum_case;
1999-08-18 ago replaced 'ProofGeneral' by 'Proof General';
1999-08-17 ago replaced HOL_quantifiers flag by "HOL" print mode;
1999-08-16 ago tuned;
1999-08-16 ago tuned;
1999-08-11 ago Removed
1999-08-09 ago theory loader actions;
1999-08-03 ago SVC
1999-07-28 ago HOL-Real target now builds an actual image;
1999-07-28 ago LK
1999-07-19 ago Datatype package now handles arbitrarily branching datatypes.
1999-07-08 ago theorems involving oracles are now printed with a suffixed [!];
1999-07-08 ago integer division
1999-06-07 ago reset HOL_quantifiers by default;
1999-05-31 ago Isabelle manuals now also available as PDF;
1999-05-18 ago tuned;
1999-05-03 ago tuned;
1999-04-27 ago tuned;
1999-04-22 ago recdef (TFL) now requires theory Recdef;
1999-04-21 ago Isamode 2.6 requires patch;
1999-04-16 ago loadpath replaced;
1999-04-14 ago tuned;
1999-04-13 ago improved isatool install;
1999-04-12 ago ML_PLATFORM;
1999-03-18 ago * New bounded quantifier syntax (input only):
1999-03-17 ago HOL/typedef: fixed type inference for representing set;
1999-03-10 ago updated;
1999-02-11 ago Symbol.output subject to print mode;
1999-02-11 ago tuned;
1999-02-08 ago path element specification '~~' refers to '$ISABELLE_HOME';
1999-02-03 ago inj
1999-01-27 ago arith_tac for min/max
1999-01-27 ago ZF typechecking
1999-01-19 ago removal of the (thm list) argument of mk_cases
1999-01-14 ago More Arith.
1999-01-07 ago ZF: the natural numbers as a datatype
1999-01-07 ago if-then-else syntax for ZF
1999-01-06 ago primrec, induct_tac
1999-01-05 ago *** empty log message ***
1999-01-04 ago *** empty log message ***
1998-12-11 ago *** empty log message ***
1998-12-04 ago locales
1998-11-25 ago removed prs / prs_fn;
1998-11-18 ago Finally removing "Compl" from HOL
1998-10-30 ago tuned current_goals_markers;
1998-10-22 ago current_goals_markers;