Thu, 10 Jan 2008 05:11:09 +0100 | huffman | new lemmas max_in_chainI, max_in_chainD | changeset | files |
Wed, 09 Jan 2008 20:25:18 +0100 | haftmann | overloading target | changeset | files |
Wed, 09 Jan 2008 19:24:15 +0100 | nipkow | tuned | changeset | files |
Wed, 09 Jan 2008 19:23:50 +0100 | nipkow | added simp attributes/ proofs fixed | changeset | files |
Wed, 09 Jan 2008 19:23:36 +0100 | nipkow | added simp attributes | changeset | files |
Wed, 09 Jan 2008 10:56:35 +0100 | nipkow | Finally: no more unproven. | changeset | files |