NEWS
2004-03-11 webertj refute
2004-03-03 schirmer added record_ex_sel_eq_simproc
2004-03-01 kleing union/intersection over intervals
2004-02-19 paulson removal of the legacy ML structure List
2004-02-19 ballarin New lemmas about inversion of restricted functions.
2004-02-19 ballarin Efficient, graph-based reasoner for linear and partial orders.
2004-02-16 paulson arith
2004-02-10 nipkow *** empty log message ***
2004-02-04 nipkow *** empty log message ***
2004-01-26 schirmer * Support for raw latex output in control symbols: \<^raw...>
2003-12-29 kleing \<^bsub> .. \<^esub>
2003-12-10 ballarin Isar: where attribute supports instantiation of type vars.
2003-12-06 kleing moreover and also do not reset facts any more
2003-11-14 ballarin Type inference bug in Isar attributes "where" and "of" fixed.
2003-11-06 schirmer Records:
2003-11-06 ballarin Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by
2003-10-22 paulson recursion
2003-10-16 paulson line-breaks; rewording
2003-10-15 kleing use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid
2003-10-14 kleing allow \<^sub> in identifiers
2003-10-09 skalberg Added info on the new 'finalconsts' command.
2003-09-30 ballarin Improvements to Isar/Locales: premises generated by "includes" elements
2003-09-23 paulson new session HOL-SET-Protocol
2003-08-29 ballarin Method rule_tac understands Isar contexts: documentation.
2003-08-29 skalberg Removed the extended digits again.
2003-08-28 skalberg Fixed typos.
2003-08-27 skalberg Extended the notion of letter and digit, such that now one may use greek,
2003-07-29 kleing opened new section for next Isabelle release
2003-07-21 skalberg Added the specification command.
2003-05-12 ballarin Improved entry on Algebra.
less more (0) -300 -100 -50 -30 tip