NEWS
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
1998-10-21 wenzelm tuned;
1998-10-21 nipkow Tutorial
1998-10-21 wenzelm tuned (all proofs are INSTABLE by David's definition of instability);
1998-10-19 oheimb layout
1998-10-16 nipkow 2. The simplifier now knows a little bit about nat-arithmetic.
1998-10-16 nipkow *** empty log message ***
1998-10-15 paulson integer simprocs
1998-09-25 wenzelm isatool logo;
1998-09-23 paulson unary minus
1998-09-21 oheimb *** empty log message ***
1998-09-21 oheimb *** empty log message ***
1998-09-15 paulson From Compl(A) to -A
1998-09-10 paulson equals0D
1998-09-04 nipkow Function 'upt'
1998-08-28 wenzelm * print mode 'emacs' reserved for Isamode;
1998-08-27 wenzelm * Pure: ML function 'theory_of' replaced by 'theory';
1998-08-24 wenzelm tuned;
1998-08-24 wenzelm isatool install;
1998-08-18 paulson ZF.thy
1998-08-13 paulson stac
1998-08-08 nipkow *** empty log message ***
1998-08-06 nipkow *** empty log message ***
1998-08-06 paulson disjointness
1998-08-04 wenzelm tuned;
1998-07-31 berghofe Replaced nat.exhaustion by nat.exhaust
1998-07-30 wenzelm tuned;
1998-07-30 berghofe Adapted to new datatype package.
1998-07-28 wenzelm tuned;
1998-07-17 paulson ZF: Main, Update
1998-07-15 nipkow disjoint
1998-07-14 paulson new stac
1998-07-14 nipkow inj_on
1998-07-10 wenzelm the distribution now includes Isabelle icons: see
1998-07-03 wenzelm several new basic modules made available for general use;
1998-07-03 wenzelm cleaned up;
1998-07-03 wenzelm reorganized the main HOL image;
1998-07-01 berghofe Adapted to new inductive definition package.
1998-07-01 paulson HOL-Real
1998-06-25 wenzelm simplification procedure unit_eq_proc rewrites (?x::unit) = ();
1998-06-24 nipkow * HOL/List: new function list_update written xs[i:=v] that updates the i-th
1998-06-24 paulson removed duplicate entry for Goal
less more (0) -100 -60 tip