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 |