| 2016-12-22 | blanchet | export ML functions (towards nonuniform codatatypes) + signature tuning | changeset | files |
| 2016-12-22 | blanchet | export ML function | changeset | files |
| 2016-12-22 | haftmann | more uniform div/mod relations | changeset | files |
| 2016-12-22 | haftmann | proper logical constants | changeset | files |
| 2016-12-21 | haftmann | prefer existing logical constant over abbreviation | changeset | files |
| 2016-12-21 | haftmann | dropped aliasses | changeset | files |
| 2016-12-21 | haftmann | removed dangerous simp rule: prime computations can be excessively long | changeset | files |
| 2016-12-20 | haftmann | emphasize dedicated rewrite rules for congruences | changeset | files |
| Loading... | |||