next up previous contents index
Next: Comparing two numbers: `equaln' Up: Discovering the Power of Previous: Subtracting a number: `sub'   Contents   Index


Relational Abstractions



Subsections

domain access counter Georg P. Loczewski 2004-03-05