| Thu, 18 Feb 2010 23:38:33 +0100 |
wenzelm |
locale: more precise treatment of naming vs. binding;
|
changeset |
files
|
| Thu, 18 Feb 2010 23:37:43 +0100 |
wenzelm |
Sign.restore_naming -- slightly more robust;
|
changeset |
files
|
| Thu, 18 Feb 2010 23:08:31 +0100 |
wenzelm |
typedef: slightly more precise treatment of binding;
|
changeset |
files
|
| Thu, 18 Feb 2010 21:26:40 +0100 |
wenzelm |
axclass: more precise treatment of naming vs. binding;
|
changeset |
files
|
| Thu, 18 Feb 2010 20:46:46 +0100 |
wenzelm |
more systematic treatment of qualified names derived from binding;
|
changeset |
files
|
| Thu, 18 Feb 2010 20:44:22 +0100 |
wenzelm |
pretty_full_theory: proper Syntax.init_pretty_global;
|
changeset |
files
|
| Thu, 18 Feb 2010 11:23:03 +0100 |
wenzelm |
made SML/NJ happy (again);
|
changeset |
files
|
| Thu, 18 Feb 2010 08:17:24 +0100 |
haftmann |
merged
|
changeset |
files
|
| Thu, 18 Feb 2010 08:17:12 +0100 |
haftmann |
drop code lemma for ordered_keys
|
changeset |
files
|
| Wed, 17 Feb 2010 16:49:38 +0100 |
haftmann |
more lemmas about sort(_key)
|
changeset |
files
|
| Wed, 17 Feb 2010 16:49:37 +0100 |
haftmann |
added ordered_keys
|
changeset |
files
|
| Wed, 17 Feb 2010 22:32:05 +0100 |
wenzelm |
isatest: activated HOL-Nitpick_Examples for x86_64-darwin -- should now work with kodkodi-1.2.8;
|
changeset |
files
|
| Wed, 17 Feb 2010 21:13:40 +0100 |
blanchet |
merged
|
changeset |
files
|
| Wed, 17 Feb 2010 20:50:14 +0100 |
blanchet |
fix example to reflect change in function signature
|
changeset |
files
|