| Tue, 19 Apr 2005 15:15:06 +0200 | quigley | Completed integration of reconstruction code. Now finds and displays proofs when used with modified version | changeset | files |
| Tue, 19 Apr 2005 13:35:01 +0200 | paulson | auto update | changeset | files |
| Tue, 19 Apr 2005 13:34:50 +0200 | paulson | restored the target HOL-Complex-Import | changeset | files |
| Tue, 19 Apr 2005 11:40:23 +0200 | paulson | fixed presentation | changeset | files |
| Tue, 19 Apr 2005 10:59:31 +0200 | obua | Removed mult_commute axiom from comm_semiring axclass. | changeset | files |
| Tue, 19 Apr 2005 00:14:27 +0200 | webertj | compilation error fixed | changeset | files |
| Mon, 18 Apr 2005 17:20:49 +0200 | webertj | support for recursion over mutually recursive IDTs | changeset | files |