Prev Up
Go backward to 4.1 Signature Declarations
Go up to 4 Subsorting Constructs

4.2 Axioms

  • 4.2.1 Atomic Formulae
  • 4.2.1.1 Membership
  • 4.2.2 Terms
  • 4.2.2.1 Casts

  • CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Prev Up