| Sat, 10 Dec 2016 17:20:39 +0100 | wenzelm | clarified JSON operations (see isabelle_vscode/a7931dc2a1ab); | changeset | files |
| Sat, 10 Dec 2016 15:45:16 +0100 | wenzelm | updated Poly/ML repository test version (08-Dec-2016); | changeset | files |
| Thu, 08 Dec 2016 17:22:51 +0100 | bulwahn | remove typo in bij_swap_compose_bij theorem name; tune proof | changeset | files |