back to https://isabelle.sketis.net/components (more reliable);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE729d45c7ff33: undid renaming accident
- Branches
- Unknown
- Tags
back to https://isabelle.sketis.net/components (more reliable); Tags None Subscribers None
Description
Details
|