Next:
The Metalanguage ML
Up:
Proof Tactics
Previous:
Transformation Tactics
Writing Simple Tactics
The Metalanguage ML
Using ML from Nuprl
Example Tactics
The Auto--tactic
Richard Eaton
Thu Sep 14 08:45:18 EDT 1995
