| Mon, 16 Nov 2009 20:23:02 +0100 | wenzelm | merged | changeset | files |
| Mon, 16 Nov 2009 18:33:12 +0000 | webertj | Fixed a typo in a comment. | changeset | files |
| Mon, 16 Nov 2009 17:22:10 +0000 | webertj | Fixed a typo in a comment. | changeset | files |
| Mon, 16 Nov 2009 14:32:35 +0000 | paulson | merged | changeset | files |
| 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 |
| Mon, 16 Nov 2009 13:53:02 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 16 Nov 2009 13:49:21 +0100 | wenzelm | guard future proofs by Goal.future_enabled; | changeset | files |
| Mon, 16 Nov 2009 12:09:59 +0100 | boehmes | further explosion of HOL-Boogie verification conditions | changeset | files |
| Mon, 16 Nov 2009 11:14:43 +0100 | haftmann | merged | changeset | files |