Tue, 09 Nov 1993 13:32:45 +0100 | clasohm | renamed hard-quant.ML to hardquant.ML | changeset | files |
Tue, 09 Nov 1993 13:25:07 +0100 | clasohm | renamed int-prover.ML to intprover.ML, | changeset | files |
Tue, 09 Nov 1993 13:21:41 +0100 | clasohm | renamed int-prover.ML to intprover.ML, | changeset | files |
Tue, 09 Nov 1993 11:02:01 +0100 | lcp | now forbids semicolons in the body of br, etc. No longer | changeset | files |
Mon, 08 Nov 1993 17:52:24 +0100 | lcp | Minor changes; addition of counit.ML | changeset | files |
Fri, 05 Nov 1993 18:49:22 +0100 | nipkow | change of my address | changeset | files |
Fri, 05 Nov 1993 11:48:53 +0100 | lcp | Added documenation of change_simp. | changeset | files |