feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics and multiple times
Description
Description
Details
Details
- Provenance
kappelmann Authored on - Parents
- rAFPa2b90cb55ad1: Tuned: use a star in witness.
- Branches
- Unknown
- Tags
feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics…
Description feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics and multiple times
Details
|