Fri, 09 Sep 2016 15:12:40 +0200 | nipkow | msetsum -> set_mset, msetprod -> prod_mset | changeset | files |
Fri, 09 Sep 2016 14:15:16 +0200 | nipkow | More on balancing; renamed theory to Balance | changeset | files |
Fri, 09 Sep 2016 13:39:21 +0200 | nipkow | added lemmas | changeset | files |
Thu, 08 Sep 2016 18:18:57 +0200 | wenzelm | option "checkpoint" helps to fine-tune global heap space management; | changeset | files |
Thu, 08 Sep 2016 10:35:08 +0200 | blanchet | made it easier to catch 'empty datatype' exception | changeset | files |
Thu, 08 Sep 2016 10:16:39 +0200 | blanchet | export ML functions | changeset | files |
Thu, 08 Sep 2016 10:16:37 +0200 | blanchet | tuning | changeset | files |