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 |
Fri, 06 May 2011 20:25:41 +0200 | wenzelm | no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already; | changeset | files |
Fri, 06 May 2011 17:52:08 +0200 | wenzelm | removed \underscoreon which is from Larry's iman.sty, not underscore.sty; | changeset | files |