Index of /edu.botik.ru/CTAN-2002/macros/generic/proofs/taylor 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        02-Dec-2002 16:22      -  
[TXT] QED.sty                 24-Jun-1996 00:00    32k  
[TXT] boxproof.tex            02-Dec-1999 00:00    21k  
[TXT] boxproof.sty            02-Dec-1999 00:00    21k  
[TXT] prooftree.tex           20-Aug-1996 00:00    12k  
[TXT] prooftree.sty           20-Aug-1996 00:00    12k  
[TXT] boxproof-old.tex        18-Jan-1993 00:00     9k  
[   ] prooftree-doc.dvi       03-Oct-1995 00:00     7k  
[TXT] prooftree-doc.tex       03-Oct-1995 00:00     5k