Auf meiner Downloadseite http://www.domnick-elektronik.de/download.htm sind die Dateien g80C166.ZIP und gSMOST.ZIP; da sind GAL-EQN-Dateien drin.