2004-08-04 | nipkow | fixed tex problem | changeset | files |
2004-08-03 | ballarin | Typo. | changeset | files |
2004-08-03 | ballarin | New transitivity reasoners for transitivity only and quasi orders. | changeset | files |
2004-08-03 | paulson | new simprules Int_subset_iff and Un_subset_iff | changeset | files |
2004-08-02 | obua | zdiv_int, zmod_int | changeset | files |
2004-08-02 | paulson | conversion of Hyperreal/Filter to Isar scripts | changeset | files |
Loading... |