[FOM] Logic packages

[Richard Zach]

There are some packages listed on

http://www.ucalgary.ca/philosophy/asl-cle/

(Scroll down to "Computers in Logic Education")

The page is out-of-date; I should really update it soon.  Thomas,
can you summarize any private answers on the list, or forward those
messages to me?  

Best,
R
-- 
Richard Zach ...... http://www.ucalgary.ca/~rzach/
Associate  Professor,   Department  of  Philosophy
University of Calgary, Calgary, AB T2N 1N4, Canada