isabelle: Changelog

paulson [Tue, 19 Apr 2005 18:08:55 +0200] rev 15775

syntax fix

paulson [Tue, 19 Apr 2005 18:08:44 +0200] rev 15774

more tidying of libraries in Reconstruction

quigley [Tue, 19 Apr 2005 15:15:06 +0200] rev 15773

Completed integration of reconstruction code. Now finds and displays proofs when used with modified version of Proof General. C.Q.

paulson [Tue, 19 Apr 2005 13:35:01 +0200] rev 15772

auto update

paulson [Tue, 19 Apr 2005 13:34:50 +0200] rev 15771

restored the target HOL-Complex-Import

paulson [Tue, 19 Apr 2005 11:40:23 +0200] rev 15770

fixed presentation

obua [Tue, 19 Apr 2005 10:59:31 +0200] rev 15769

Removed mult_commute axiom from comm_semiring axclass.

webertj [Tue, 19 Apr 2005 00:14:27 +0200] rev 15768

compilation error fixed

webertj [Mon, 18 Apr 2005 17:20:49 +0200] rev 15767

support for recursion over mutually recursive IDTs

ballarin [Mon, 18 Apr 2005 15:54:23 +0200] rev 15766

Cleaned up, now use interpretation.

isabelle