| Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
| Thu, 26 Nov 1998 16:37:56 +0100 | mueller | tuning to assimiliate it with PhD; | file | diff | annotate |
| Tue, 30 Jun 1998 20:51:15 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Tue, 25 Nov 1997 17:56:49 +0100 | mueller | managed merge details; | file | diff | annotate |
| Tue, 25 Nov 1997 16:34:20 +0100 | mueller | resolved merge conflict; | file | diff | annotate |
| Tue, 04 Nov 1997 14:40:29 +0100 | oheimb | * removed "axioms" and "generated by" section | file | diff | annotate |
| Mon, 13 Oct 1997 10:22:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Wed, 21 May 1997 15:08:52 +0200 | mueller | changes for release 94-8 | file | diff | annotate |
| Wed, 30 Apr 1997 11:20:15 +0200 | mueller | New meta theory for IOA based on HOLCF. | file | diff | annotate |