Backed out changeset 5016262a2384
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEd28dcd57d2f3: added lemma
- Branches
- Unknown
- Tags
- Reverts
- rISABELLE5016262a2384: thingol: fix abstraction return types in case