| Wed, 11 Nov 2009 15:10:26 +0100 | haftmann | adding code equations for constructors | changeset | files |
| Wed, 11 Nov 2009 10:06:30 +0100 | haftmann | tuned | changeset | files |
| Wed, 11 Nov 2009 15:43:03 +0100 | boehmes | changed URL of SMT server, | changeset | files |
| Wed, 11 Nov 2009 14:04:56 +0000 | paulson | Added two new lemmas | changeset | files |
| Wed, 11 Nov 2009 09:02:37 +0100 | haftmann | tuned imports | changeset | files |
| Wed, 11 Nov 2009 09:02:20 +0100 | haftmann | tuned | changeset | files |
| Wed, 11 Nov 2009 00:11:26 +0100 | wenzelm | local mutex for theory content/identity operations; | changeset | files |
| Wed, 11 Nov 2009 00:09:15 +0100 | wenzelm | admit dummy implementation; | changeset | files |