| Fri, 20 Mar 2009 20:05:51 +0100 | wenzelm | uniform ml_prompts for RAW and Pure; | changeset | files |
| Fri, 20 Mar 2009 18:46:50 +0100 | wenzelm | eliminated old Addsimps; | changeset | files |
| 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 |
| Fri, 20 Mar 2009 11:26:59 +0100 | wenzelm | merged | changeset | files |
| Fri, 20 Mar 2009 10:44:25 +0100 | berghofe | merged | changeset | files |