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