| 2021-06-04 | desharna | moved stride option from sledgehammer action to main mirabelle | changeset | files |
| 2021-06-03 | paulson | merged | changeset | files |
| 2021-06-03 | paulson | new lemmas mostly about paths | changeset | files |
| 2021-06-02 | haftmann | lexorders the locale way | changeset | files |
| 2021-05-31 | haftmann | more accurate export morphism enables proper instantiation by interpretation | changeset | files |
| 2021-05-29 | paulson | merged | changeset | files |
| 2021-05-28 | paulson | some new and/or varient results about images | changeset | files |
| 2021-05-28 | paulson | nicer statement of Liouville_theorem | changeset | files |
| 2021-05-28 | haftmann | more lemmas | changeset | files |
| 2021-05-28 | haftmann | max word moved to Word_Lib in AFP | changeset | files |
| 2021-05-26 | wenzelm | more robust syntax; | changeset | files |
| 2021-05-25 | wenzelm | unused; | changeset | files |
| 2021-05-25 | wenzelm | clarified document export names; | changeset | files |
| 2021-05-25 | wenzelm | tuned signature; | changeset | files |
| Loading... | |||