com.meyling.principia
Class MakeCompressedModule
java.lang.Object
|
+--com.meyling.principia.MakeCompressedModule
- public class MakeCompressedModule
- extends Object
This class compresses 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 |
MakeCompressedModule
public MakeCompressedModule()
main
public static void main(String[] args)
- Create reduced modules.
- Parameters:
args
- addresses of modules and options
makeCompressedModule
public static final void makeCompressedModule(String address)
- Create a rule reduced module.
- Parameters:
address
- address of module