remove transitional (dummy) component list for Go
Description
Description
Details
Details
- Provenance
Lars Hupel <lars@hupel.info> Authored on - Parents
- rISABELLE60b6c735b5d5: clarified signature: prefer authentic cterm used in Simplifier, avoid potential…
- Branches
- Unknown
- Tags