| Wed, 12 May 2010 16:44:49 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Thu, 23 Jul 2009 18:44:09 +0200 | wenzelm | renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset; | file | diff | annotate |
| Sat, 14 Jun 2008 23:19:51 +0200 | wenzelm | proper context for tactics derived from res_inst_tac; | file | diff | annotate |
| Tue, 10 Jun 2008 16:43:14 +0200 | wenzelm | case_split_tac (works without context); | file | diff | annotate |
| Mon, 09 Jun 2008 17:39:35 +0200 | wenzelm | DatatypePackage.case_tac; | file | diff | annotate |
| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | file | diff | annotate |