Hol-90
An implementation of HOL built on SML/NJ by Brian Graham [email protected]. Runs on Sun-4.
(ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: [email protected].
Read Also:
- Holandric gene
holandric gene n. See Y-linked gene.
- Holandric
[ho-lan-drik, hoh-] /hɒˈlæn drɪk, hoʊ-/ adjective, Genetics. 1. of or relating to a heritable trait appearing only in males (opposed to ). holandric ho·lan·dric (hō-lān’drĭk, hŏ-) adj. Relating to a trait encoded by a gene or genes located on the Y-chromosome and therefore occurring only in males.
- Holarchy
/ˈhəʊlˌɑːkɪ/ noun 1. a system composed of interacting holons
- Holarctic
[ho-lahrk-tik, -ahr-tik, hoh-] /hɒˈlɑrk tɪk, -ˈɑr tɪk, hoʊ-/ adjective, Zoogeography. 1. belonging or pertaining to a geographical division comprising the Nearctic and Palearctic regions. /həʊˈlɑːktɪk/ adjective 1. of or denoting a zoogeographical region consisting of the Palaearctic and Nearctic regions
- Holbein
[hohl-bahyn; German hawl-bahyn] /ˈhoʊl baɪn; German ˈhɔl baɪn/ noun 1. Hans [hahns] /hɑns/ (Show IPA), (“the elder”) 1465?–1524, German painter. 2. his son, Hans (“the younger”) 1497?–1543, German painter who worked chiefly in England. /German ˈhɔlbain/ noun 1. Hans (hans), known as Holbein the Elder. 1465– 1524, German painter 2. his son, Hans, known as […]