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-v0.99-draft --DRAFT Version 0.99-- 25 March 1998.
    Comments to cofi-language@brics.dk

    Prev Up