Snaipe bbc5edfb34 Refactored the implementation of theory macros in internal/		2015-11-17 17:49:27 +01:00
..
criterion	Refactored the implementation of theory macros in internal/	2015-11-17 17:49:27 +01:00