| 2018-02-25 | wenzelm | tuned; | changeset | files |
| 2018-02-25 | wenzelm | more abbrevs; | changeset | files |
| 2018-02-25 | wenzelm | allow multiple entries of and_list (on both sides); | changeset | files |
| 2018-02-25 | wenzelm | eliminated ASCII syntax from Pure bootstrap; | changeset | files |
| 2018-02-25 | paulson | merged | changeset | files |
| 2018-02-25 | paulson | new material on matrices, etc., and consolidating duplicate results about of_nat | changeset | files |
| Loading... | |||