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)
Name
Format
# Lines
Size
Date
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