Patrick Lühne 80980e4e11 Remove redundant indirection		2020-04-10 23:02:14 +02:00
..
formulas.rs	Remove redundant indirection	2020-04-10 23:02:14 +02:00
terms.rs	Remove redundant indirection	2020-04-10 23:02:14 +02:00