isabelle: Changelog

nipkow [Fri, 27 Nov 1998 16:54:59 +0100] rev 5982

Replaced the puny nat_transitive.ML by the general fast_lin_arith.ML.

paulson [Fri, 27 Nov 1998 16:46:01 +0100] rev 5981

fixed a link

paulson [Fri, 27 Nov 1998 13:13:22 +0100] rev 5980

added Real/Hyperreal

paulson [Fri, 27 Nov 1998 11:24:27 +0100] rev 5979

Addition of Hyperreal theories Zorn and Filter

paulson [Fri, 27 Nov 1998 10:40:29 +0100] rev 5978

moved diag (diagonal relation) from Univ to Relation

paulson [Thu, 26 Nov 1998 17:40:10 +0100] rev 5977

tidied up list definitions, using type 'a option instead of unit + 'a, also using real typedefs instead of faking them with extra rules

mueller [Thu, 26 Nov 1998 16:37:56 +0100] rev 5976

tuning to assimiliate it with PhD;

nipkow [Thu, 26 Nov 1998 12:18:51 +0100] rev 5975

Added a general refutation tactic which works by putting things into nnf first.

nipkow [Thu, 26 Nov 1998 12:18:08 +0100] rev 5974

Added filter_prems_tac

wenzelm [Wed, 25 Nov 1998 20:55:25 +0100] rev 5973

removed prs / prs_fn;

isabelle