proofgeneral-misc 3.5-6 (i386 binary) in ubuntu hardy

 This package provides the Proof General support for several
 theorem provers which are not available as Debian packages yet.
 This includes: ACL2, HOL98, Isabelle, Isar, LClam, LEGO,
 Phox, Plastic, Twelf
 .
 Proof General is a generic interface for proof assistants,
 currently based on the customizable text editor Emacs.
 It works with either XEmacs or GNU Emacs. Proof General
 has been developed at the LFCS in the University of Edinburgh.