Cl

n 1: a common nonmetallic element belonging to the halogens; best

known as a heavy yellow irritating toxic gas; used to

purify water and as a bleaching agent and disinfectant;

occurs naturally only as a salt (as in sea water) [syn:

{chlorine}, {Cl}, {atomic number 17}]

2: a metric unit of volume equal to one hundredth of a liter

[syn: {centiliter}, {centilitre}]

CL

1. {Control Language}.

2. A programming language and {proof system} developed by Paul

Voda and a colleague since 1997, written in {Trilogy} II.

{(http://www.fmph.uniba.sk/~voda)}.

(2000-04-08)