YAS representation ok(lal(term))

Language

None

---

Dependencies

• languages/LAL: membership
  • Representation ok(lal(term))
  • Goal lalOk:model
  • Files: None

---

Files

• languages/LAL/lib/application.term2
• languages/LAL/lib/bx/delta.term2
• languages/LAL/lib/bx/state.term2
• languages/LAL/lib/cast.term2
• languages/LAL/lib/composition.term2
• languages/LAL/lib/conformance.term2
• languages/LAL/lib/conformance/bnl.term2
• languages/LAL/lib/conformance/mathml.term2
• languages/LAL/lib/correspondence.term2
• languages/LAL/lib/correspondence/oneToOne.term2
• languages/LAL/lib/coupling.term2
• languages/LAL/lib/cx/cotransformation.term2
• languages/LAL/lib/cx/delta.term2
• languages/LAL/lib/cx/invariant.term2
• languages/LAL/lib/cx/mapping.term2
• languages/LAL/lib/differencing.term2
• languages/LAL/lib/interpretation.term2
• languages/LAL/lib/language.term2
• languages/LAL/lib/language/mathml.term2
• languages/LAL/lib/membership.term2
• languages/LAL/lib/referencing.term2
• languages/LAL/lib/selection.term2
• languages/LAL/lib/traceability.term2
• languages/LAL/lib/traceability/refs.term2
• languages/LAL/lib/transformation.term2

---