updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more text in Isabelle/Intro.thy;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE569135d7352a: more robust access to output file of external smt, notably for Windows 11…
- Branches
- Unknown
- Tags