Fri, 12 Dec 2008 12:31:00 +0100 |
ballarin |
Equations in interpretation as goals.
|
file |
diff |
annotate
|
Thu, 11 Dec 2008 17:56:34 +0100 |
ballarin |
Interpretation in theories: first version with equations.
|
file |
diff |
annotate
|
Wed, 10 Dec 2008 10:12:44 +0100 |
ballarin |
Merged.
|
file |
diff |
annotate
|
Wed, 10 Dec 2008 10:11:18 +0100 |
ballarin |
Enable keyword 'structure' in for clause of locale expression.
|
file |
diff |
annotate
|
Tue, 09 Dec 2008 11:30:24 +0100 |
ballarin |
When adding locales, delay notes until local theory is built.
|
file |
diff |
annotate
|
Fri, 05 Dec 2008 16:41:36 +0100 |
ballarin |
Interpretation in proof contexts.
|
file |
diff |
annotate
|
Fri, 05 Dec 2008 11:26:07 +0100 |
ballarin |
Interpretation in theories including interaction with subclass relation.
|
file |
diff |
annotate
|
Fri, 28 Nov 2008 12:26:14 +0100 |
ballarin |
Ahere to modern naming conventions; proper treatment of internal vs external names.
|
file |
diff |
annotate
|
Tue, 25 Nov 2008 18:07:01 +0100 |
ballarin |
Expression types cleaned up.
|
file |
diff |
annotate
|
Fri, 21 Nov 2008 18:02:19 +0100 |
ballarin |
Regression tests for new locale implementation.
|
file |
diff |
annotate
|