Wed, 02 Jul 2008 21:43:57 +0200 | wenzelm | moved HOL-Plain up; | changeset | files |
Wed, 02 Jul 2008 20:31:06 +0200 | wenzelm | rename Doc doc-src; | changeset | files |
Wed, 02 Jul 2008 20:13:32 +0200 | wenzelm | renamed Contents to Dirs to avoid case-conflict with doc/Contents; | changeset | files |