<?xml version="1.0"?>
<!DOCTYPE entry SYSTEM "../catalogue.dtd">
<entry id="galois" 
       datestamp="1999/05/05" 
       modifier="Graham.Williams@cmis.csiro.au">
  <about>
    <name>galois</name>
    <caption>Write Galois connections in two-ddimensional style.</caption>
    <author>
      <name>Patrick Cousot</name>
      <email>cousot@acm.org</email>
    </author>
    <license type="unknown"/>
  </about>
  <distribution>
    <texlive>latex3</texlive>
    <ctan>macros/latex/contrib/galois</ctan>
  </distribution>
</entry>
