Index of /~cameron/smlisp/examples/propcalc

      Name                    Last modified       Size  Description

[DIR] Parent Directory 12-Mar-1997 14:05 - [   ] evalform.sl 09-Jan-1997 14:20 2k [   ] proofs.adt 09-Jan-1997 14:20 1k [   ] propcalc.adt 09-Jan-1997 14:20 2k [   ] wang.sl 09-Jan-1997 14:20 5k

Apache/1.3.26 Server at www.cs.sfu.ca Port 80