Any narcotic (1930+ Narcotics)
[hoh-kuh-sahy, hoh-kuh-sahy; Japanese haw-koo-sahy] /ˈhoʊ kəˌsaɪ, ˌhoʊ kəˈsaɪ; Japanese ˈhɔ kʊˈsaɪ/ noun 1. Katsushika [kah-tsoo-shee-kah] /ˈkɑ tsʊˈʃi kɑ/ (Show IPA), 1760–1849, Japanese painter and illustrator. /ˈhəʊkʊˌsaɪ; ˌhəʊkʊˈsaɪ/ noun 1. Katsushika (ˌkætsuːˈʃiːkə). 1760–1849, Japanese artist, noted for the draughtsmanship of his colour wood-block prints, which influenced the impressionists
[holz] /hɒlz/ plural noun 1. Sometimes, hol. British Informal. (def 5). 1. variant of before a vowel: holiatry. combining form 1. a variant of holo- /hɒlz/ plural noun 1. (Brit, school slang) holidays hol- pref. Variant of holo-. Higher Order Logic. A proof-generating system for higher order logic based on LCF. Implementations include HOL-88 and […]
An implementation of HOL built on ML by Mike Gordon firstname.lastname@example.org.
An implementation of HOL built on SML/NJ by Brian Graham email@example.com. Runs on Sun-4. (ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: firstname.lastname@example.org.