| 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 |
| Sun, 20 May 2012 11:34:33 +0200 | wenzelm | try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09); | changeset | files |
| Thu, 17 May 2012 16:04:39 +0200 | wenzelm | Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a | changeset | files |
| Thu, 17 May 2012 15:58:57 +0200 | wenzelm | some message; | changeset | files |