In this directory http://www.iki.fi/~kartturi/matikka/ModFin/ you can find various axiomatizations, written for Finder2001 (see http://arp.anu.edu.au/~jks/finder.html).