This directory contains general library lisp files.  

Some of these have been developed as part of the Proof General
project; others have been taken from other sources.  See individual
files for  copyright holder and license details.