proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE56ef403eab15: provide verit-2020.10-rmx for testing (inactive);
- Branches
- Unknown
- Tags