register
log in
hub.darcs.net
::
kyagrd
->
logic-TPTP
->
files
Import, export etc. for TPTP, a syntax for first-order logic
root
Codec
testing
Front Page.page
Gitit User's Guide.page
Help.page
LICENSE
Lexer.x
Parser.y
ParserC.y
Setup.hs
Util.hs
logic-TPTP.cabal
files
changes
fork
download .zip
darcs get url
Packs built at 2014-08-02 21:45:50 UTC