abs_theory
The
abs_theory
package contains a rudimentary implementation of abstract theories in the HOL98 theorem prover.
Download:
abs_theory.tar.gz