Fri, 22 Nov 2019 09:24:54 +0000 | haftmann | removed unused auxiliary lemmas | changeset | files |
Thu, 21 Nov 2019 15:22:24 +0100 | wenzelm | tuned; | changeset | files |
Thu, 21 Nov 2019 13:25:27 +0100 | wenzelm | added document antiquotation @{system_option}; | changeset | files |