blob: 776d8d7ab76b17b0ac979528cc08458b32ca1542 (
plain)
1
2
3
4
5
|
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.
|