| Thu, 19 Jul 2007 21:47:39 +0200 | haftmann | uniform naming conventions for CG theories | file | diff | annotate |
| Wed, 11 Jul 2007 11:54:21 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Tue, 26 Jun 2007 13:02:28 +0200 | nipkow | *** empty log message *** | file | diff | annotate |