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