[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

KCL on Sequent Symmetry

We have a Symmetry.  We have AKC 1.122.  Is there anyone who's
made such things work on a symmetry and can make the diffs available?
If not, I'll probably try it myself.

Jeff Dalton,                      JANET: J.Dalton@uk.ac.ed             
AI Applications Institute,        ARPA:  J.Dalton%uk.ac.ed@nsfnet-relay.ac.uk
Edinburgh University.             UUCP:  ...!ukc!ed.ac.uk!J.Dalton