| 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
|
| Thu, 25 Sep 2008 14:35:03 +0200 |
wenzelm |
added release_results;
|
changeset |
files
|
| Thu, 25 Sep 2008 14:35:02 +0200 |
wenzelm |
abtract types: plain datatype with opaque signature matching;
|
changeset |
files
|
| Thu, 25 Sep 2008 14:35:01 +0200 |
wenzelm |
prove: error with original thread position;
|
changeset |
files
|
| Thu, 25 Sep 2008 13:21:13 +0200 |
wenzelm |
explicit type OrdList.T;
|
changeset |
files
|
| Thu, 25 Sep 2008 11:14:01 +0200 |
haftmann |
(temporary workaround)
|
changeset |
files
|
| Thu, 25 Sep 2008 10:17:23 +0200 |
haftmann |
(temporal deactivation)
|
changeset |
files
|
| Thu, 25 Sep 2008 10:17:22 +0200 |
haftmann |
non left-linear equations for nbe
|
changeset |
files
|
| Thu, 25 Sep 2008 09:28:08 +0200 |
haftmann |
non left-linear equations for nbe
|
changeset |
files
|
| Thu, 25 Sep 2008 09:28:07 +0200 |
haftmann |
map_force
|
changeset |
files
|