Patrick Lühne 9b6632cc94 Check that only input predicates are used in assumptions		2020-05-29 17:42:05 +02:00
..
arithmetic_terms.rs	Use custom foliage flavor	2020-05-22 02:25:00 +02:00
autoname_variables.rs	Don’t append variable ID if there is only one	2020-05-22 19:43:41 +02:00
closures.rs	Use custom foliage flavor	2020-05-22 02:25:00 +02:00
copy_formula.rs	Clean-up	2020-05-28 05:03:56 +02:00
fold_predicates.rs	Check that only input predicates are used in assumptions	2020-05-29 17:42:05 +02:00
formula_contains_predicate.rs	Handle private predicates in specification	2020-05-28 07:27:29 +02:00
variables_in_terms.rs	Use custom foliage flavor	2020-05-22 02:25:00 +02:00