| 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 |