removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. f150253cb201), but is superseded by AFP metadata (TOML);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE9279e96eb34e: clarified signature;
- Branches
- Unknown
- Tags