log

age author description
Mon, 11 Aug 2014 15:53:05 +0200 Christian Humer Truffle-DSL: added experimental new implies annotation to declare implication relations on guards.