Next:
Predeclared objects other than
Up:
Command Reference
Previous:
Tactic module commands (commands
Predeclared objects:
Predeclared objects other than built-in tactics and predeclared theorems:
Predeclared theorems:
Built-in tactics:
Randall Holmes
2000-11-03
