isabelle: Changelog

ballarin [Mon, 02 Aug 2004 10:16:58 +0200] rev 15099

Some comments added.

ballarin [Mon, 02 Aug 2004 10:16:40 +0200] rev 15098

Documentation added/improved.

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;

isabelle