| 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 |
| Tue, 03 Jan 2006 15:43:54 +0100 | paulson | added explicit paths to required theories | file | diff | annotate |