| Fri, 04 May 2012 17:12:37 +0200 | huffman | lifting package produces abs_eq_iff rules for total quotients | changeset | files |
| Fri, 04 May 2012 11:08:31 +0200 | bulwahn | using the new transfer method to obtain abstract properties of RBT trees | changeset | files |
| Wed, 02 May 2012 22:05:59 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Wed, 23 May 2012 11:53:17 +0200 | wenzelm | removed obsolete RC tags; | changeset | files |