initial commit from us2.metamath.org:88/ocat/mmj2/mmj2.zip 15-Oct-2011