com.meyling.principia
Class MakeReducedModule
java.lang.Object
|
+--com.meyling.principia.MakeReducedModule
- public class MakeReducedModule
- extends Object
This class reduces the rule version of Principia Mathematica II qedeq modules.
- Version:
- $Revision: 1.2 $
- Author:
- Michael Meyling
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MakeReducedModule
public MakeReducedModule()
main
public static void main(String[] args)
- Create reduced modules.
- Parameters:
args
- addresses of modules and options
makeReducedModule
public static final void makeReducedModule(String address)
- Create a rule reduced module.
- Parameters:
address
- address of module