| 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 |
| Sun, 29 Jul 2007 14:30:02 +0200 | wenzelm | added Tools/named_thms.ML; | changeset | files |