at.logic.skeptik

parser

package parser

Visibility
  1. Public
  2. All

Type Members

  1. class SimplePropositionalResolutionProofFormatParser extends JavaTokenParsers with RegexParsers

Value Members

  1. object ProofParser extends JavaTokenParsers with RegexParsers