| Sat, 26 Jan 2008 17:08:38 +0100 | wenzelm | tuned attribute syntax -- no need for eta-expansion; | file | diff | annotate |
| Sun, 29 Jul 2007 14:30:01 +0200 | wenzelm | renamed Drule.add/del/merge_rules to Thm.add/del/merge_thms; | file | diff | annotate |
| 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 |