http://www.1729.com Womcat Bookmarks for Philip Dorrell. Womcat Bookmarks 2.1.0 Proof Assistants http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web/RAFFALLI/af2.html A first order interactive theorem prover that works with Proof General. Proof Assistants Wed, 4 Aug 2004 14:44:59 +1200