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

Directory listing for tpdb-2.8.3 source tarball

tpdb-2.8.3/

• Setup.hs
• plain2xtc.hs
• srs2trs.hs
• tpdb.cabal
• xtc2srs.hs
• src/
  • TPDB/
    • Convert.hs
    • DP.hs
    • Data.hs
    • Input.hs
    • Mirror.hs
    • Pretty.hs
    • XTC.hs
    • Xml.hs
    • CPF/
      • Proof/
        • Read.hs
        • Type.hs
        • Util.hs
        • Write.hs
        • Xml.hs
    • DP/
      • Graph.hs
      • TCap.hs
      • Transform.hs
      • Unify.hs
      • Usable.hs
    • Data/
      • Attributes.hs
      • Identifier.hs
      • Rule.hs
      • Term.hs
      • Xml.hs
      • Term/
        • Cached.hs
        • Plain.hs
    • Input/
      • File.hs
      • Memory.hs
    • Plain/
      • Read.hs
      • Write.hs
    • XTC/
      • Read.hs
      • Write.hs
• test/
  • 02.trs
  • 3.15.xml
  • 3.39.xml
  • 33.trs
  • AC08.trs
  • AC09.xml
  • AC28.cpf
  • AC28.xml
  • MNZ_10_labelled.xml
  • attributes.hs
  • dp-performance.hs
  • labelled.trs
  • parse_ac.hs
  • read_complex.hs
  • read_cpf.hs
  • read_large.hs
  • read_print_srs.hs
  • read_print_trs.hs
  • read_print_trs_2.hs
  • read_print_xml.hs
  • read_print_xml_relative.hs
  • read_print_xml_theory.hs
  • rel12.srs
  • rel12.xml
  • speed.hs
  • z001.srs