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 |
Sat, 28 Feb 2009 20:29:20 +0100 | wenzelm | more accurate deps; | changeset | files |
Sat, 28 Feb 2009 20:27:19 +0100 | wenzelm | merged | changeset | files |