more....
<theory> A term with no free variables.
(1994-12-16)
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)