From: matteo stefano redaelli
Subject: parallel lisp
Date: Thu, 27 Oct 1994 12:26:03 +0000
Message-ID: <38o68r$cga@hp2.sm.dsi.unimi.it>

I'm a student of Universita' Degli Studi of Milan 
and I like to implement a theorem proover using
a parallel lisp.
Are there any parallel lisp implemented on 
"public" parallel machines or are they only symulated
on normal machine?
Are there any free versions of parallel lisp for
dos, unix,..?

thanks

·······@ghost.sm.dsi.unimi.it