Index of /~key/download/addons
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
README 24-Jan-2005 13:09 240
![[ ]](/icons/binary.gif)
Simplify-1.5.4.exe 22-Apr-2004 17:23 1.3M
![[ ]](/icons/compressed.gif)
Simplify-1.5.4.linux.gz 22-Apr-2004 17:23 1.3M
Simplify-1.5.4.macosx.gz 22-Apr-2004 17:23 966K
![[ ]](/icons/unknown.gif)
Simplify-1.5.4.solaris 22-Apr-2004 17:23 2.9M
gf11linuxStatic 22-Apr-2004 17:27 3.3M
![[DIR]](/icons/folder.gif)
oclnl/ 08-Aug-2006 23:52 -
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.