| Fri, 20 Mar 2009 17:12:37 +0100 | wenzelm | Disposed old declarations, tactics, tactic combinators that refer to the simpset or claset of an implicit theory; | changeset | files |
| Fri, 20 Mar 2009 17:04:44 +0100 | wenzelm | fixed possibility_tac; | changeset | files |
| Fri, 20 Mar 2009 15:24:18 +0100 | wenzelm | eliminated global SIMPSET, CLASET etc. -- refer to explicit context; | changeset | files |