$( <MM> <PROOF ASST> THEOREM=
welcome
LOC_AFTER=
welcome
* Page101.mmp
Welcome to the mmj2 Proof Assistant Tutorial!
The purpose of this tutorial is to demonstrate and explain the
main features of the mmj2 Proof Assistant in a way that is not very
boring. You could say this is an experiment in writing non-boring
documentation...and that is interactive.
Each "page" of the Tutorial is a Proof Worksheet file stored in
directory mmj2jar\PATutorial.
The file names of the pages indicate the intended viewing order.
This page is named "Page101.mmp", indicating Chapter 1, Page 1. The
next page is named "Page102.mmp", and so on.
Proof Worksheet files are just ASCII text files named with file
type ".mmp" or ".txt".
Use Menu Item "File/Open Proof File" now to view the next page.
qed::ax-1
⊢ (θ → (χ → θ))
$)