| Thu, 11 Dec 2008 08:53:53 +0100 |
nipkow |
code for {x:A. P(x)} and for fold
|
changeset |
files
|
| Thu, 11 Dec 2008 08:52:50 +0100 |
nipkow |
Testfile for Stefan's code generator
|
changeset |
files
|
| Mon, 15 Dec 2008 09:58:45 +0100 |
haftmann |
moved value.ML to src/Tools
|
changeset |
files
|
| Mon, 15 Dec 2008 09:58:44 +0100 |
haftmann |
\underscoreoff is now default
|
changeset |
files
|
| Mon, 15 Dec 2008 07:41:07 +0000 |
Christian Urban |
tuned some proofs
|
changeset |
files
|
| Sat, 13 Dec 2008 17:46:13 +0100 |
wenzelm |
removed Ids;
|
changeset |
files
|
| Sat, 13 Dec 2008 17:13:09 +0100 |
berghofe |
merged
|
changeset |
files
|
| Sat, 13 Dec 2008 16:59:33 +0100 |
berghofe |
merged
|
changeset |
files
|
| Sat, 13 Dec 2008 16:29:33 +0100 |
berghofe |
merged
|
changeset |
files
|
| Sat, 13 Dec 2008 16:26:06 +0100 |
berghofe |
Unified syntax of nominal_primrec with the one used by fun(ction) and new
|
changeset |
files
|
| Sat, 13 Dec 2008 13:24:45 +0100 |
berghofe |
Modified nominal_primrec to make it work with local theories, unified syntax
|
changeset |
files
|
| Sat, 13 Dec 2008 15:35:29 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 13 Dec 2008 15:35:18 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 13 Dec 2008 15:07:56 +0100 |
wenzelm |
tuned ML_OPTIONS for improved multicore performance;
|
changeset |
files
|
| Sat, 13 Dec 2008 15:06:24 +0100 |
wenzelm |
refined identity and ancestry: explicit draft flat, ids are unnamed, name consistency is checked for ancestry;
|
changeset |
files
|
| Sat, 13 Dec 2008 15:00:40 +0100 |
wenzelm |
requires: check ancestors directly;
|
changeset |
files
|