Class Summary |
CheckModule |
This class checks Principia Mathematica II qedeq modules for errors. |
Main |
This demonstrates various calls of Principia Mathematica II. |
MakeCompressedModule |
This class compresses Principia Mathematica II qedeq modules.. |
MakeHtmlModule |
This class creates html files from Principia Mathematica II qedeq modules. |
MakeLatexModule |
This class creates LaTeX files from Principia Mathematica II qedeq modules. |
MakeReducedModule |
This class reduces the rule version of Principia Mathematica II qedeq modules. |
PmiiFacade |
Gives outside access to the application. |