removed obsolete workaround (see Isabelle/91ee232b4211);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFPff719c05809a: Updated citations
- Branches
- Unknown
- Tags
removed obsolete workaround (see Isabelle/91ee232b4211); Tags None Subscribers None
Description
Details
|