Next: Rule Application Up: An Example Previous: An Example

The Derived Rules

paul@dream.dai.ed.ac.uk
Tue Jan 9 10:51:07 GMT 1996