| Thu, 03 Jan 2008 17:50:43 +0100 |
wenzelm |
toplevel print_exn: proper setmp_thread_properties;
|
changeset |
files
|
| Thu, 03 Jan 2008 17:50:42 +0100 |
wenzelm |
added id property;
|
changeset |
files
|
| Thu, 03 Jan 2008 17:50:41 +0100 |
wenzelm |
Result: added props field;
|
changeset |
files
|
| Thu, 03 Jan 2008 17:22:24 +0100 |
huffman |
remove legacy ML bindings
|
changeset |
files
|
| Thu, 03 Jan 2008 17:02:56 +0100 |
huffman |
new-style theorem references
|
changeset |
files
|
| Thu, 03 Jan 2008 16:53:27 +0100 |
huffman |
fix theorem references
|
changeset |
files
|
| Thu, 03 Jan 2008 16:31:53 +0100 |
huffman |
generalized and simplified proof of adm_Finite
|
changeset |
files
|
| Thu, 03 Jan 2008 16:29:37 +0100 |
huffman |
new lemma adm_upward
|
changeset |
files
|
| 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
|