home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / peter / SVT / GNU

Text (4)
NameFormat# LinesSizeDate
README Text File 20 660b 2004-05-18
simp.prolog Text File 372 12KB 2003-05-15
tautology.pl Text File 93 3KB 2002-11-04
wang.pl Text File 174 6KB 2002-12-05