| Thu, 31 May 2012 16:58:38 +0200 | Andreas Lochbihler | unify Card_Univ and Cardinality | changeset | files |
| Thu, 31 May 2012 15:47:06 +0200 | huffman | definition less_int_def has changed, use 'less_le' instead | changeset | files |
| Mon, 28 May 2012 02:18:46 +0200 | bulwahn | adding incompleted simproc to rewrite set comprehensions into pointfree expressions on sets | changeset | files |
| Thu, 31 May 2012 10:05:07 +0200 | huffman | remove stray reference to no-longer-existing theorem 'add' | changeset | files |