Index of /ftp/hvg/hol88/contrib/Predicate

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Makefile1993-04-05 14:32 1.3K 
[DIR]NOWEB/1993-04-05 14:49 -  
[   ]OLD_RES.ml1993-04-01 12:24 4.6K 
[   ]Pred_README1993-04-01 12:24 3.0K 
[   ]READ-ME1993-04-05 14:54 3.7K 
[TXT]UNITYsty.tex1993-04-01 12:24 3.4K 
[   ]mk_predicate.ml1993-04-01 12:24 12K 
[   ]my_misc.ml1993-04-01 12:24 1.2K 
[   ]notangle1993-04-01 15:30 40K 
[TXT]noweb.sty1993-04-01 12:24 2.7K 
[TXT]nwkernel.tex1993-04-16 23:37 1.5K 
[   ]predicate.ml1993-04-01 12:24 1.2K 
[   ]predicate.nw1993-04-01 12:24 66K 
[TXT]predicate.tex1993-04-01 12:24 71K 
[   ]predicate_SUP.ml1993-04-01 12:24 348  

Apache/2.4.52 (Ubuntu) Server at www.ftp.cl.cam.ac.uk Port 80