| Mon, 07 May 2012 12:20:55 +0200 | blanchet | use latest E (1.5) | changeset | files |
| 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 |
| Tue, 22 May 2012 19:02:17 +0200 | wenzelm | Added tag Isabelle2012 for changeset 21c42b095c84 | changeset | files |