tweaked generation of Isar proofs
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE8bfad7bc74cb: tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and…
- Branches
- Unknown
- Tags
tweaked generation of Isar proofs Tags None Subscribers None |