| Tue, 03 Jul 2007 17:17:06 +0200 | wenzelm | Conjunction.mk_conjunction_balanced; | file | diff | annotate |
| Thu, 10 May 2007 00:39:46 +0200 | wenzelm | Thm.first_order_match; | file | diff | annotate |
| Wed, 25 Apr 2007 15:22:57 +0200 | berghofe | eqvt_tac now instantiates introduction rules before applying them. | file | diff | annotate |