| Thu, 29 Aug 2019 19:07:00 +0200 | nipkow | simplified proofs | changeset | files |
| Thu, 29 Aug 2019 12:59:10 +0000 | haftmann | more rules for ordered real vector spaces | changeset | files |
| Thu, 29 Aug 2019 14:20:46 +0200 | nipkow | simplified setup | changeset | files |
| Thu, 29 Aug 2019 13:07:56 +0200 | nipkow | tuned proof | changeset | files |
| Wed, 28 Aug 2019 23:19:43 +0200 | wenzelm | merged | changeset | files |
| Wed, 28 Aug 2019 23:01:53 +0200 | wenzelm | enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions; | changeset | files |