| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:36 +0200 | wenzelm | tactic/method simpset: maintain proper context; | file | diff | annotate |
| Mon, 23 Jan 2006 11:36:05 +0100 | paulson | replacement of bool by a datatype (making problems first-order). More lemma names | file | diff | annotate |