unclear why I ever asked for type tree2
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLEbd9d1ce274c9: enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
- Branches
- Unknown
- Tags
unclear why I ever asked for type tree2 Tags None Subscribers None |