| Mon, 16 Nov 2009 14:32:12 +0000 | paulson | A few more lemmas from Jeremy | changeset | files |
| Mon, 16 Nov 2009 15:03:23 +0100 | hoelzl | removed hassize predicate | changeset | files |
| Mon, 16 Nov 2009 15:06:34 +0100 | hoelzl | Added new lemmas to Euclidean Space by Robert Himmelmann | changeset | files |
| Mon, 16 Nov 2009 13:53:31 +0100 | wenzelm | eliminated obsolete thm position stuff; | changeset | files |