Next:
General Notes
Up:
No Title
Previous:
Computation
Appendix A: Summary of ML Extensions for
General Notes
Refinement Functions
Rule Constructors
Rule Destructors
Term Destructors
Auto--Tactic
Miscellaneous Functions
Richard Eaton
Thu Sep 14 08:45:18 EDT 1995
