follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE72a99b54e206: removed exercise solution
- Branches
- Unknown
- Tags
follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and… Tags None Subscribers None |