Thu, 04 Mar 2004 10:04:42 +0100 | nipkow | Conversion of ML files to Isar. | changeset | files |
Wed, 03 Mar 2004 22:58:23 +0100 | schirmer | added record_ex_sel_eq_simproc | changeset | files |
Tue, 02 Mar 2004 11:06:37 +0100 | paulson | fixed bugs in the setup of arithmetic procedures | changeset | files |
Tue, 02 Mar 2004 11:05:55 +0100 | paulson | converted Hyperreal/IntFloor to Isar script | changeset | files |
Tue, 02 Mar 2004 01:46:26 +0100 | kleing | tuned. proofs still gruesome.. | changeset | files |
Tue, 02 Mar 2004 01:34:54 +0100 | kleing | converted MiniML to Isar | changeset | files |