| Thu, 12 May 2011 16:00:48 +0200 | wenzelm | pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms; | changeset | files |
| Thu, 12 May 2011 11:03:48 +0200 | haftmann | more uniform naming of lemma | changeset | files |
| Mon, 09 May 2011 16:11:20 +0200 | noschinl | add a lemma about commutative append to List.thy | changeset | files |
| Mon, 09 May 2011 12:26:25 +0200 | noschinl | removed assumption from lemma List.take_add | changeset | files |