• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for tamarin-prover-term-0.8.1.0 source tarball

tamarin-prover-term-0.8.1.0/

• LICENSE
• Setup.hs
• tamarin-prover-term.cabal
• src/
  • Term/
    • Classes.hs
    • LTerm.hs
    • Positions.hs
    • Substitution.hs
    • Subsumption.hs
    • SubtermRule.hs
    • Term.hs
    • Unification.hs
    • UnitTests.hs
    • VTerm.hs
    • Builtin/
      • Convenience.hs
      • Rules.hs
      • Signature.hs
    • Maude/
      • Parser.hs
      • Process.hs
      • Signature.hs
      • Types.hs
    • Narrowing/
      • Narrow.hs
      • Variants.hs
      • Variants/
        • Check.hs
        • Compute.hs
    • Rewriting/
      • Definitions.hs
      • Norm.hs
    • Substitution/
      • SubstVFree.hs
      • SubstVFresh.hs