isabelle: Changelog

ballarin [Mon, 02 Aug 2004 10:15:37 +0200] rev 15097

Modifications for trancl_tac (new solver in simplifier).

ballarin [Mon, 02 Aug 2004 10:12:02 +0200] rev 15096

Documentation added; minor improvements.

ballarin [Mon, 02 Aug 2004 09:44:46 +0200] rev 15095

Theories now take advantage of recent syntax improvements with (structure).

paulson [Sat, 31 Jul 2004 20:54:23 +0200] rev 15094

conversion of Hyperreal/{Fact,Filter} to Isar scripts

paulson [Fri, 30 Jul 2004 18:37:58 +0200] rev 15093

conversion of Integration and NSPrimes to Isar scripts

wenzelm [Fri, 30 Jul 2004 10:44:42 +0200] rev 15092

keep type_solver;

wenzelm [Fri, 30 Jul 2004 10:44:34 +0200] rev 15091

tuned dependencies;

wenzelm [Fri, 30 Jul 2004 10:44:27 +0200] rev 15090

added context type solver;

wenzelm [Fri, 30 Jul 2004 10:42:19 +0200] rev 15089

ZF/Simplifier: second copy of context type solver;

wenzelm [Fri, 30 Jul 2004 10:41:52 +0200] rev 15088

tuned output;

isabelle