The files here are described on the Metamath Home Page at-e http://metamath.org .-e -e -e Copyright-e ----------e -e See http://us.metamath.org/copyright.html for license and copyright-e information that applies to the content of these packages.-e -e