Next:
2.3. EXERCISE: Defining Relations
Up:
2. BUILDING AND FINDING
Previous:
2.1. Defining Relations
2.2. Correcting Mistakes, part 1
If you make a mistake or change your mind, you can undefine the relations, using
undefine
(
§2.5
).
Undefine the two relations we just defined, by evaluating:
(undefine isa ako)
William J. Rapaport 2003-09-22