//  -*- Mode: LISP; Syntax: Common-lisp; Package: DTP; Base: 10 -*-
// ----------------------------------------------------------------------------
// 
// 	File		Types.Lisp
// 	System		Don's Theorem Prover
// 
// 	Written by	Don Geddis (Geddis@CS.Stanford.Edu)
"(in-package dtp)";

// ----------------------------------------------------------------------------
// LTD: Can't handle complex deftypes.
#f;

// LTD: Can't handle complex deftypes.
#f;

// ----------------------------------------------------------------------------
// LTD: Can't handle complex deftypes.
#f;

// ----------------------------------------------------------------------------
// LTD: Can't handle complex deftypes.
#f;

// ----------------------------------------------------------------------------
"eof";