Pocket KrHyper 0.9.3

Pocket KrHyper is a theorem proving library for J2ME mobile...