factored out theory Traditional_Syntax
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rAFP4991334f95cd: more T_ -> t_ tuning
- Branches
- Unknown
- Tags
factored out theory Traditional_Syntax
Description factored out theory Traditional_Syntax
Details
|