2021-09-11 | wenzelm | ML antiquotations for type constructors and term constants; | changeset | files |
2021-09-11 | wenzelm | more antiquotations; | changeset | files |
2021-09-10 | wenzelm | tuned; | changeset | files |
2021-09-10 | wenzelm | NEWS; | changeset | files |
2021-09-10 | wenzelm | miscellaneous examples and experiments for Isabelle/Pure; | changeset | files |
2021-09-10 | wenzelm | tuned comments; | changeset | files |
Loading... |