| Fri, 20 Apr 2012 15:30:13 +0200 | huffman | add transfer rule for 'id' | changeset | files |
| Fri, 20 Apr 2012 14:57:19 +0200 | huffman | add new transfer rules and setup for lifting package | changeset | files |
| Fri, 20 Apr 2012 10:37:00 +0200 | huffman | setup_lifting preprocesses forall_transfer rule by unfolding mem_Collect_eq | changeset | files |