updated for Isabelle2021 release;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf175fd68b6a9: back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012…
- Branches
- Unknown
- Tags
updated for Isabelle2021 release; Tags None Subscribers None
Description
Details
|