Prof. Patrick COUSOT
Fichiers de style LaTeX galois / LaTeX style file galois
Write Galois connections in two dimensional style, optionally in color.
This file may be distributed under the terms of the LPPL.
README
Makefile
galois.dtx
galois.pdf
galois.ins
galois.tar.gz