Index of /pub/CTAN/macros/generic/proofs/taylor

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]QED.sty1996-06-25 03:54 32K 
[   ]prooftree-doc.dvi1995-10-03 20:53 7.2K 
[   ]prooftree-doc.pdf2006-03-20 01:02 79K 
[   ]prooftree-doc.tex1995-10-03 20:53 4.9K 
[   ]prooftree.sty1996-08-20 22:15 12K 
[   ]prooftree.tex1996-08-20 22:15 12K 

Apache/2.4.61 (Unix) OpenSSL/3.0.13 Server at ftp.jaist.ac.jp Port 443