Reference manual
/ Extended toolkit
Summary of symbols defined in the toolkit
Summary of toolkit extensions
section setdefs
- operations on sets, relations and functions
section numdefs
- operations on numbers, including rationals and reals
section seqdefs
- the above two and operations on sequences, including infinite sequences
section corelaws
- laws about the operations of core Z and tactics
section setlaws
- corelaws, setdefs and laws about its operations and tactics
section numlaws
- corelaws, numdefs and laws about its operations and tactics
section seqlaws
- setlaws, numlaws, seqdefs and laws about its operations and tactics
section toolkit
- same as seqlaws
section bagkit
- toolkit and operations on bags as in ZRM2
IT 24-Oct-2000