Snaipe c03a149507 Added common usage assume macro functions for theories		2015-09-06 21:59:50 +02:00
..
criterion	Added common usage assume macro functions for theories	2015-09-06 21:59:50 +02:00