restored theory structure for simple genericity.
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rAFP7825cfb5f214: Backed out changeset af549be0a8cd
- Branches
- Unknown
- Tags
restored theory structure for simple genericity. Tags None Subscribers None |