Name Last modified Size Description![[DIR]](http://www.cs.cmu.edu/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](http://www.cs.cmu.edu/icons/folder.gif){kind=icon}
inclass/ 27-Oct-2017 12:40 -
![[ ]](http://www.cs.cmu.edu/icons/p.gif){kind=icon}
bin.pl 27-Oct-2017 12:40 452
check.pl 27-Oct-2017 12:40 636
infer.pl 27-Oct-2017 12:40 699