| Wed, 12 Jan 2011 21:57:01 +0100 | krauss | documented Option.bind | file | diff | annotate |
| Fri, 29 Oct 2010 17:28:27 +0200 | nipkow | added listrel1 | file | diff | annotate |
| Fri, 27 Aug 2010 12:40:20 +0200 | wenzelm | proper context for various Thy_Output options, via official configuration options in ML and Isar; | file | diff | annotate |
| Wed, 11 Aug 2010 11:56:57 +0200 | haftmann | avoid old unnamed infix | file | diff | annotate |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
| Tue, 16 Mar 2010 06:55:01 +0100 | haftmann | adjusted to changes in Finite_Set | file | diff | annotate |
| Mon, 22 Feb 2010 09:36:29 +0100 | haftmann | adjusted to cs. 8dfd816713c6 | file | diff | annotate |