Index of /CompLangs/Isabelle2023/contrib/e-2.6-1/src/EXAMPLE_PROBLEMS/TPTP/Axioms
Parent Directory
BOO002-0.ax
BOO003-0.ax
BOO004-0.ax
CSR002+1.ax
GRP004-0.ax
HEN001-0.ax
MGT001+0.ax
MSC001-0.ax
MSC001-2.ax
SET004-0.ax
SET004-1.ax
SWB001+0.ax
SWB002+0.ax
SWC001-0.ax
SYN001-0.ax