| Wed, 23 May 2012 15:57:12 +0200 | wenzelm | eliminated obsolete fastsimp; | file | diff | annotate |
| Tue, 29 Mar 2011 23:15:25 +0200 | wenzelm | modernized specifications -- some attempts to avoid wild axiomatizations; | file | diff | annotate |
| Wed, 12 Jan 2011 16:33:04 +0100 | wenzelm | eliminated global prems; | file | diff | annotate |
| Mon, 06 Sep 2010 19:13:10 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Sat, 14 Jun 2008 23:19:51 +0200 | wenzelm | proper context for tactics derived from res_inst_tac; | file | diff | annotate |
| Sat, 21 Jul 2007 23:25:00 +0200 | wenzelm | tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.); | file | diff | annotate |