| Tue, 30 Dec 2008 19:08:43 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 30 Dec 2008 19:07:42 +0100 |
wenzelm |
prep_result: Thm.close_derivation of witness theorem avoids performance issues with proof terms;
|
changeset |
files
|
| Tue, 30 Dec 2008 16:50:46 +0100 |
ballarin |
New locales.
|
changeset |
files
|
| Tue, 30 Dec 2008 11:10:01 +0100 |
ballarin |
Merged.
|
changeset |
files
|
| Tue, 30 Dec 2008 08:18:54 +0100 |
ballarin |
Temporarily avoid type errors in parse phase.
|
changeset |
files
|
| Tue, 23 Dec 2008 14:29:27 +0100 |
ballarin |
More liberal consistency check for defines elements.
|
changeset |
files
|
| Fri, 19 Dec 2008 16:39:23 +0100 |
ballarin |
All logics ported to new locales.
|
changeset |
files
|
| Fri, 19 Dec 2008 15:05:37 +0100 |
ballarin |
Merged.
|
changeset |
files
|
| Thu, 18 Dec 2008 11:16:48 +0100 |
Norbert Schirmer |
adapted statespace module to new locales;
|
changeset |
files
|
| Fri, 19 Dec 2008 14:31:17 +0100 |
ballarin |
More porting to new locales.
|
changeset |
files
|
| Fri, 19 Dec 2008 14:31:07 +0100 |
ballarin |
Intro_locales_tac knows about defines elements; more robust export morphism.
|
changeset |
files
|
| Fri, 19 Dec 2008 11:57:21 +0100 |
ballarin |
More porting to new locales.
|
changeset |
files
|