Patrick Lühne 84bec338ae Use foliage’s built-in variable declaration stack		2020-04-17 01:45:41 +02:00
..
arithmetic_terms.rs	Finish implementing TPTP output	2020-02-05 02:14:47 +01:00