Tue, 23 Dec 2003 23:40:16 +0100 | kleing | list_all2_mono should not be [trans] | changeset | files |
Tue, 23 Dec 2003 18:26:03 +0100 | paulson | reorganised complex arithmetic | changeset | files |
Tue, 23 Dec 2003 18:24:16 +0100 | paulson | removing real_of_posnat | changeset | files |