| Thu, 25 Sep 2008 20:34:19 +0200 | wenzelm | simplified promise; | changeset | files |
| Thu, 25 Sep 2008 20:34:18 +0200 | wenzelm | simplified Thm.promise; | changeset | files |
| Thu, 25 Sep 2008 20:34:17 +0200 | wenzelm | explicit checkpoint for low-level (global) theory operations admits concurrent SkipProof.prove; | changeset | files |
| Thu, 25 Sep 2008 20:34:15 +0200 | wenzelm | explicit checkpoint for low-level (global) theory operations, admits concurrent proofs; | changeset | files |
| Thu, 25 Sep 2008 19:15:50 +0200 | haftmann | circumvent problem with code redundancy | changeset | files |
| Thu, 25 Sep 2008 16:05:52 +0200 | haftmann | clarifed redundancy policy | changeset | files |
| Thu, 25 Sep 2008 14:37:32 +0200 | wenzelm | tuned comments; | changeset | files |