gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

semantics of equations #54

Open fabianneuhaus opened 9 years ago

fabianneuhaus commented 9 years ago

Right now equations are defined even for non-discourse names.