Patrick Lühne fc34aadf90 Show all predicates used in specification by default		2020-05-29 18:41:16 +02:00
..
specification.rs	Show all predicates used in specification by default	2020-05-29 18:41:16 +02:00