merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE70aab133dc8d: proper abstraction of function variables when instantiating induction rules in…
rISABELLE7733c794cfea: added lemma - Branches
- Unknown
- Tags
Merged Changes
Merged Changes