| Wed, 08 Dec 2010 13:34:50 +0100 | haftmann | hide popular names R and B | changeset | files |
| Wed, 08 Dec 2010 08:33:04 +0100 | boehmes | built-in numbers are also built-in terms | changeset | files |
| Wed, 08 Dec 2010 08:33:02 +0100 | boehmes | be more flexible: store SMT built-in symbols in generic contexts (not in theory contexts) | changeset | files |
| Tue, 07 Dec 2010 21:58:36 +0100 | haftmann | merged | changeset | files |
| Tue, 07 Dec 2010 16:33:54 +0100 | haftmann | more concise case names; proved extensionality | changeset | files |
| Tue, 07 Dec 2010 16:33:54 +0100 | haftmann | name filter operation just filter (c.f. List.filter and list comprehension syntax) | changeset | files |
| Tue, 07 Dec 2010 21:32:47 +0100 | haftmann | tuned whitespace | changeset | files |