EPO: adapt totality proof to suit paper
Description
Description
Details
Details
- Provenance
Alexander Bentkamp <a.bentkamp@vu.nl> Authored on - Parents
- rAFP0f0adba767a3: adapted to isabelle-dev/e0237f2eb49d
- Branches
- Unknown
- Tags
EPO: adapt totality proof to suit paper Tags None Subscribers None |