| Fri, 08 Jul 1994 12:01:55 +0200 | clasohm | added mixfix annotations to constructor declarations | file | diff | annotate |
| Fri, 17 Jun 1994 14:16:50 +0200 | clasohm | adopted to new datatype definition method | file | diff | annotate |
| Tue, 22 Mar 1994 08:28:31 +0100 | nipkow | Used Datatype functor to define propositional logic terms. | file | diff | annotate |