Wed, 11 Jul 2007 10:53:39 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
Thu, 09 Nov 2006 11:58:45 +0100 | wenzelm | updated; | 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 |