Index of /CompLangs/Isabelle2023/contrib/e-2.6-1/src/EXAMPLE_PROBLEMS/TPTP
Parent Directory
Axioms/
BOO006-1.p
BOO010-2.p
CAT004-4.p
COL042-8.p
CSR036+2.p
GEO288+1.p
GRP237-1.p
HEN011-2.p
LCL365-1.p
MGT063+1.p
PLA012-1.p
PUZ028-6.p
SET183-6.p
SET844-1.p
SEU027+1.p
SWB008+1.p
SWB030+3.p
SWC078-1.p
SWV851-1.p
SWW194+1.p
SYN190-1.p