Adjusted to prospective release Isabelle2021-2.
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rAFPcc4737a8a1ad: Correctness_Algebras: uncomment counterexamples
- Branches
- Unknown
- Tags
Adjusted to prospective release Isabelle2021-2. Tags None Subscribers None |