Thu, 02 May 2019 14:31:22 +0200 | wenzelm | more bibtex fields; | changeset | files |
Thu, 02 May 2019 14:05:59 +0200 | wenzelm | clarified PIDE markup; | changeset | files |
Thu, 02 May 2019 12:58:32 +0100 | paulson | De-applying and combining lemmas to make structured proofs | changeset | files |