| Thu, 14 May 2009 08:22:06 +0200 |
haftmann |
adapted code tutorial to recent changes in code
|
changeset |
files
|
| Wed, 13 May 2009 21:22:48 +0200 |
haftmann |
more permissive wrt. overloaded constants
|
changeset |
files
|
| Wed, 13 May 2009 20:48:17 +0200 |
haftmann |
merged
|
changeset |
files
|
| Wed, 13 May 2009 18:48:17 +0200 |
haftmann |
tuned construction of term_of instances
|
changeset |
files
|
| Wed, 13 May 2009 18:41:54 +0200 |
haftmann |
tuned construction of term_of instances
|
changeset |
files
|
| Wed, 13 May 2009 18:41:40 +0200 |
haftmann |
dropped legacy operations
|
changeset |
files
|
| Wed, 13 May 2009 18:41:39 +0200 |
haftmann |
tuned construction of typerep instances
|
changeset |
files
|
| Wed, 13 May 2009 18:41:39 +0200 |
haftmann |
tuned and generalized construction of code equations for eq; tuned interface
|
changeset |
files
|
| Wed, 13 May 2009 18:41:38 +0200 |
haftmann |
added abstract operations for typerep/term_of
|
changeset |
files
|
| Wed, 13 May 2009 18:41:36 +0200 |
haftmann |
tuned and generalized construction of code equations for eq
|
changeset |
files
|
| Wed, 13 May 2009 18:41:36 +0200 |
haftmann |
dropped sort constraint on predicate equality
|
changeset |
files
|
| Wed, 13 May 2009 18:41:35 +0200 |
haftmann |
itself is instance of eq
|
changeset |
files
|
| Wed, 13 May 2009 17:13:33 +0100 |
chaieb |
Now deals with division
|
changeset |
files
|
| Tue, 12 May 2009 21:39:19 +0200 |
haftmann |
updated keywords
|
changeset |
files
|
| Tue, 12 May 2009 21:17:47 +0200 |
haftmann |
split Predicate_Compile examples into separate theory
|
changeset |
files
|
| Tue, 12 May 2009 21:17:38 +0200 |
haftmann |
adapted to changes in module Code
|
changeset |
files
|