Next:
Theories
Up:
Tactics
Previous:
Classical Reasoning
Further Information
Consult the ML files. Start with
load-ml.ml
which loads all the other ML files.
Karla Consroe
Wed Oct 23 13:48:45 EDT 1996
