Patrick Lühne c11156b2ce Test quantified formulas		2020-04-09 16:07:32 +02:00
..
formulas.rs	Test quantified formulas	2020-04-09 16:07:32 +02:00
terms.rs	Minor formatting	2020-04-09 16:07:31 +02:00