Path: utzoo!utgpu!water!watmath!clyde!att!ucbvax!SUMEX-AIM.STANFORD.EDU!KARP
From: KARP@SUMEX-AIM.STANFORD.EDU (Peter Karp)
Newsgroups: comp.sys.xerox
Subject: interlisp ATMS
Message-ID: <12416195199.59.KARP@SUMEX-AIM.Stanford.EDU>
Date: 22 Jul 88 00:37:16 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 5

Do you know of an Interlisp implementation of a deKleer-style ATMS?
If so please let me know by email at  Karp@Sumex-Aim.Stanford.Edu.
I am aware of the ATMS in IntelliCorp's KEE, and I am talking straight
Interlisp, not Lyric (commonlisp) Interlisp.
-------