Marcel Moolenaar cd7e5d6eb4 Remove INVARIANT* and WITNESS. This makes the simulator much more ... pleasant to use.		2003-07-25 07:52:20 +00:00
..
GENERIC
GENERIC.hints
SKI	Remove INVARIANT* and WITNESS. This makes the simulator much more	2003-07-25 07:52:20 +00:00