Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for tptp-0.1.2.0 candidate source tarball
tptp-0.1.2.0/test-data/tptp/tff/
COM110_5.p
DAT001=0.ax
DAT002=0.ax
DAT002=1.ax
DAT003=0.ax
DAT004=0.ax
DAT005=0.ax
DAT006=0.ax
LCL842_5.p
NUN015_5.p
PUZ139_1.p
SYN000_0.ax
SYN000_1.p