next up previous contents index
Next: Refinement Functions Up: Appendix A: Summary Previous: Appendix A: Summary

General Notes

All  universe levels must be strictly positive. Unless otherwise stated the tokens `nil` and `NIL` may be used as identifiers to indicate that no identifier should label the new hypothesis.

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995