| Wed, 15 Dec 2010 15:11:56 +0100 | wenzelm | avoid ML structure aliases (especially single-letter abbreviations); | changeset | files |
| Wed, 15 Dec 2010 15:01:34 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Wed, 15 Dec 2010 13:35:50 +0100 | wenzelm | more correct ML snippets that are unchecked; | changeset | files |
| Wed, 15 Dec 2010 11:59:23 +0000 | paulson | merged | changeset | files |
| Wed, 15 Dec 2010 11:58:49 +0000 | paulson | Added two theorems about the concept of range. Tidied up the comments. | changeset | files |
| Wed, 15 Dec 2010 12:08:41 +0100 | blanchet | honor "overlord" option for SMT solvers as well and don't pass "ext" to them | changeset | files |