| Sun, 29 Jul 2007 14:30:06 +0200 | wenzelm | renamed Drule.is_dummy_thm to Thm.is_dummy; | changeset | files |
| Sun, 29 Jul 2007 14:30:05 +0200 | wenzelm | added list update; | changeset | files |
| Sun, 29 Jul 2007 14:30:04 +0200 | wenzelm | moved Drule.add/del/merge_rules to Thm.add/del/merge_thms; | changeset | files |
| Sun, 29 Jul 2007 14:30:03 +0200 | wenzelm | Named collections of theorems in canonical order. | changeset | files |