Index of /~bpientka/courses/atp/code/focus

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sources.cm2006-11-15 14:26 103  
[   ]prover.sig2006-08-03 08:31 420  
[   ]README2006-08-03 08:31 786  
[   ]test.sml2006-11-15 14:27 1.5K 
[   ]ctx.sml2006-08-03 08:31 1.7K 
[   ]prop.sml2006-08-03 08:31 2.1K 
[   ]bi-check.sml2006-08-03 08:31 3.8K 
[   ]focus3.sml2006-08-03 08:31 4.4K 
[   ]focus2.sml2006-08-03 08:31 4.7K 
[   ]focus1.sml2006-08-03 08:31 5.5K 

Apache/2.4.18 (Ubuntu) Server at cs.mcgill.ca Port 80