CADiZ

Reference manual / Behaviour where ISO Standard Z is loose


  1. Constraints appearing after a conjecture may be used as premises in inferences about that conjecture.
  2. The values of undefined expressions, while not being determined, are treated as being members of their type's carrier set.

IT 20-Nov-2001