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

Text (9)
NameFormat# LinesSizeDate
induction.pl Text File 385 13KB 2007-02-13
prover.pl Text File 67 2KB 2007-02-15
README Text File 37 991b 2006-08-01
simp.pl Text File 410 13KB 2006-12-25
simplify.pl Text File 59 2KB 2007-02-25
symbex.pl Text File 628 20KB 2007-03-11
tautology.pl Text File 88 3KB 2006-07-31
wang.pl Text File 138 5KB 2000-06-04
wp.pl Text File 372 12KB 2007-09-20

Other Files (3)
Unknown
NameFormatSizeDate
induction Unknown 134KB 2007-02-13
tautology Unknown 107KB 2007-01-09
wang Unknown 113KB 2006-08-01