Wed, 08 Dec 2004 15:15:49 +0100 | nipkow | fixed bug in find functions that I introduced some time ago. | changeset | files |
Wed, 08 Dec 2004 10:28:05 +0100 | paulson | converted Lfp to new-style theory | changeset | files |
Wed, 08 Dec 2004 07:50:27 +0100 | kleing | improvements by Larry and Micheal Wahler | changeset | files |