This page has moved to www.proof-technologies.com/misc/Glossary.txt .