galois

Write Galois connections in two-ddimensional style.

Version:
Copyright:
License:
Packaged on:
03/25/2006 21:40:13
Number of files:
5
Size on disk:
122.46 kB