| Thu, 03 Jan 2008 10:27:40 +0100 | chaieb | Tuned (type information in Lemmas) | changeset | files |
| Thu, 03 Jan 2008 10:27:34 +0100 | chaieb | Changed order of tactics in presburger --- thinning before case splits | changeset | files |
| Thu, 03 Jan 2008 00:15:42 +0100 | wenzelm | maintain thread transition properties; | changeset | files |
| Thu, 03 Jan 2008 00:15:41 +0100 | wenzelm | setmp_thread_data; | changeset | files |