Sun, 01 Mar 2009 13:48:17 +0100 | wenzelm | removed parts of the manual that are clearly obsolete, or covered by | changeset | files |
Sun, 01 Mar 2009 12:37:59 +0100 | wenzelm | merged | changeset | files |
Sun, 01 Mar 2009 12:37:42 +0100 | wenzelm | minor update of Mercurial HOWTO; | changeset | files |
Sun, 01 Mar 2009 12:01:57 +0100 | nipkow | removed redundant lemmas | changeset | files |
Sun, 01 Mar 2009 10:24:57 +0100 | nipkow | added lemmas by Jeremy Avigad | changeset | files |
Sat, 28 Feb 2009 21:34:33 +0100 | wenzelm | A Serbian theory, by Filip Maric. | changeset | files |