| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | file | diff | annotate |
| Fri, 01 Dec 2006 17:22:28 +0100 | haftmann | stripped some legacy bindings | file | diff | annotate |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Thu, 28 Sep 2006 23:42:35 +0200 | wenzelm | replaced syntax/translations by abbreviation; | 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 |