merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEb25b7c264a93: various improvements of "isabelle scala_project";
rISABELLEffbd1b7e5439: tuned Mirabelle's theory selection - Branches
- Unknown
- Tags
Merged Changes
Merged Changes