Patrick Lühne cd7129a3fa Add missing files		2020-02-05 04:28:02 +01:00
..
preamble_axioms.tptp	Add missing files	2020-02-05 04:28:02 +01:00
preamble_types.tptp	Add missing files	2020-02-05 04:28:02 +01:00