Sun, 08 Jul 2007 19:01:26 +0200 | chaieb | Context data now consist of eqations for reification and equations for correctness theorems for reflection; Added attribute reflection to store correctness theorems to be trued by default | file | diff | annotate |
Fri, 06 Jul 2007 16:09:26 +0200 | chaieb | Cleaned add and del attributes | file | diff | annotate |
Tue, 03 Jul 2007 17:49:53 +0200 | chaieb | Context Data for the reflection and reification methods | file | diff | annotate |