;;; -*- Mode: TDL; Coding: utf-8 -*- 

;;; Authors: 
;;; 1997-2002 Stefan Müller & Walter Kasper
;;; 2002-2007 Berthold Crysmann

;;; Copyright: DFKI GmbH


*sort* := *top*.

atom := predsort.

*avm* := *top*.

*list* := *avm*.

*cons* := *list* &
  [ FIRST *top*,
    REST *top* ].


0-1-list := *list*.
1-list := 0-1-list & *cons* &
  [ REST *null* ].

1-plus-list := *cons* &
  [ REST *cons* ].

*diff-list* := *avm* &
[ LIST *list*,
  LAST *list* ].


string := atom.