| Fri, 23 Oct 1998 22:34:18 +0200 | berghofe | unit and bool are now represented as datatypes. | file | diff | annotate |
| Wed, 21 Oct 1998 17:38:47 +0200 | berghofe | Changed syntax of rep_datatype. | file | diff | annotate |
| Fri, 24 Jul 1998 13:00:36 +0200 | berghofe | New theory Datatype. Needed as an ancestor when defining datatypes. | file | diff | annotate |