Index of /~key/download/addons

Icon  Name                     Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] README 2005-01-24 13:09 240 [   ] Simplify-1.5.4.exe 2004-04-22 17:23 1.3M [   ] Simplify-1.5.4.linux.gz 2004-04-22 17:23 1.3M [   ] Simplify-1.5.4.macosx.gz 2004-04-22 17:23 966K [   ] Simplify-1.5.4.solaris 2004-04-22 17:23 2.9M [   ] gf11linuxStatic 2004-04-22 17:27 3.3M [DIR] oclnl/ 2017-12-08 17:55 -
To install the Simplify theorem prover, unpack the file that matches your computer,
rename it to "Simplify" and copy it to a directory in your PATH
(for instance /usr/local/bin on a UNIX system). Also make sure that the file is
executable.