| Thu, 12 Jun 2008 14:20:25 +0200 | nipkow | typo | file | diff | annotate |
| 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 |
| Wed, 19 Oct 2005 21:52:07 +0200 | wenzelm | fix headers; | file | diff | annotate |
| Tue, 28 Jun 2005 15:26:32 +0200 | paulson | replacing zabs_def by abs_if | file | diff | annotate |
| Thu, 16 Jun 2005 18:25:54 +0200 | nipkow | *** empty log message *** | file | diff | annotate |