CADiZ

Reference manual / Extended toolkit / section toolkit


Toolkit for the CADiZ Theorem-prover

The CADi\num toolkit is defined as being the assemblage of the following sections: setdefs, numdefs, seqdefs, corelaws, setlaws, numlaws, seqlaws. Because of the parental structure it is sufficient to say

section toolkit parents seqlaws

IT 18-Feb-2000