| 2012-01-03 | blanchet | reintroduced 'refute' calls taken out after reintroducing the "set" constructor, and use "expect" feature | changeset | files |
| 2012-01-03 | blanchet | handle "set" correctly in Refute -- inspired by old code from Isabelle2007 | changeset | files |
| 2012-01-03 | blanchet | create consts with proper "set" types | changeset | files |
| 2012-01-03 | blanchet | tuned Refute | changeset | files |
| 2012-01-03 | blanchet | lower cardinality for faster testing | changeset | files |
| 2012-01-03 | blanchet | simplify mem Collect | changeset | files |
| 2012-01-03 | blanchet | tuning | changeset | files |
| Loading... | |||