<?xml version="1.0"?>
<!DOCTYPE entry SYSTEM "../catalogue.dtd">
<entry id="proofs"
       datestamp="1999/03/03" 
       modifier="Graham.Williams@cmis.csiro.au">
  <about>
    <name>proofs</name>
    <caption>Macros for building proof trees.</caption>
    <author>
      <name>Paul Taylor</name>
    </author>
    <license type="unknown"/>
  </about>
  <distribution>
    <ctan>macros/generic/proofs/taylor</ctan>
    <texlive>latex3</texlive>
  </distribution>
</entry>

