Wed, 04 Apr 2012 16:03:01 +0200 | huffman | add bounded quantifier constant transfer_bforall, whose definition is unfolded after transfer | file | diff | annotate |
Tue, 03 Apr 2012 22:31:00 +0200 | huffman | new transfer proof method | file | diff | annotate |