| 2013-12-23 | haftmann | prefer Y_of_X over X_to_Y; | changeset | files |
| 2013-12-23 | panny | merge | changeset | files |
| 2013-12-23 | panny | prevent ambiguity when mutual recursion maps a datatype to itself, which yielded wrong definitions in some cases (e.g. nat) | changeset | files |
| 2013-12-23 | haftmann | NEWS | changeset | files |
| 2013-12-23 | haftmann | dropped redundant lemma | changeset | files |
| 2013-12-23 | haftmann | syntactically tuned | changeset | files |
| 2013-12-23 | haftmann | prefer plain bool over dedicated type for binary digits | changeset | files |
| 2013-12-23 | nipkow | tuned | changeset | files |
| Loading... | |||