| Mon, 25 Jun 2007 22:46:55 +0200 | wenzelm | tactics: more robust addressing of subgoal using (C)SUBGOAL/THEN_ALL_NEW; | file | diff | annotate |
| Mon, 25 Jun 2007 00:36:37 +0200 | wenzelm | Thm.eta_long_conversion; | file | diff | annotate |
| Thu, 21 Jun 2007 22:52:22 +0200 | huffman | add thm antiquotations | file | diff | annotate |
| Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |