Brandon Rozek 2b3a0ef47c TPTP Examples		2023-03-27 11:01:47 -04:00
..
LIST-ROZEK.ax	TPTP Examples	2023-03-27 11:01:47 -04:00
NUM-ROZEK.ax	TPTP Examples	2023-03-27 11:01:47 -04:00