Add missing spaces in semantics_tm.
Description
Description
Details
Details
- Provenance
Asta Halkjær From <andro.from@gmail.com> Authored on - Parents
- rAFP83b8d0339acb: No space in front of object-logic forall.
- Branches
- Unknown
- Tags
Add missing spaces in semantics_tm. Tags None Subscribers None
Description
Details
|