wenzelm [Thu, 25 Sep 2008 20:34:17 +0200] rev 28362
explicit checkpoint for low-level (global) theory operations admits concurrent SkipProof.prove;
tuned list operations;
wenzelm [Thu, 25 Sep 2008 20:34:15 +0200] rev 28361
explicit checkpoint for low-level (global) theory operations, admits concurrent proofs;
haftmann [Thu, 25 Sep 2008 19:15:50 +0200] rev 28360
circumvent problem with code redundancy
haftmann [Thu, 25 Sep 2008 16:05:52 +0200] rev 28359
clarifed redundancy policy
wenzelm [Thu, 25 Sep 2008 14:37:32 +0200] rev 28358
tuned comments;
wenzelm [Thu, 25 Sep 2008 14:35:03 +0200] rev 28357
added release_results;
tuned comments;
wenzelm [Thu, 25 Sep 2008 14:35:02 +0200] rev 28356
abtract types: plain datatype with opaque signature matching;
promise: join pending futures at end of theory;
wenzelm [Thu, 25 Sep 2008 14:35:01 +0200] rev 28355
prove: error with original thread position;
wenzelm [Thu, 25 Sep 2008 13:21:13 +0200] rev 28354
explicit type OrdList.T;
haftmann [Thu, 25 Sep 2008 11:14:01 +0200] rev 28353
(temporary workaround)
haftmann [Thu, 25 Sep 2008 10:17:23 +0200] rev 28352
(temporal deactivation)
haftmann [Thu, 25 Sep 2008 10:17:22 +0200] rev 28351
non left-linear equations for nbe
haftmann [Thu, 25 Sep 2008 09:28:08 +0200] rev 28350
non left-linear equations for nbe
haftmann [Thu, 25 Sep 2008 09:28:07 +0200] rev 28349
map_force