added document antiquotation tool;
formal check of isabelle tools via Isabelle/Scala;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd9a54c4c9da9: more robust isabelle_scala_files;
- Branches
- Unknown
- Tags
added document antiquotation @{tool};
Description added document antiquotation tool;
Details
|