| Wed, 07 Nov 2007 18:19:04 +0100 | nipkow | added inductive | file | diff | annotate |
| Wed, 11 Jul 2007 10:53:39 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Thu, 14 Jun 2007 07:27:55 +0200 | nipkow | fixed filter syntax | file | diff | annotate |
| Tue, 16 May 2006 20:28:02 +0200 | wenzelm | updated; | file | diff | annotate |
| Sat, 18 Mar 2006 18:33:49 +0100 | wenzelm | updated; | file | diff | annotate |
| Mon, 29 Aug 2005 16:25:24 +0200 | wenzelm | updated; | file | diff | annotate |
| Mon, 29 Aug 2005 11:44:23 +0200 | wenzelm | updated; | file | diff | annotate |
| Sun, 28 Aug 2005 19:42:19 +0200 | wenzelm | updated; | file | diff | annotate |