Anna \An"na\, n. [Hindi [=a]n[=a].]
   An East Indian money of account, the sixteenth of a rupee, or
   about 2? cents.
   [1913 Webster]

	

	anna
    n 1: a former copper coin of Pakistan and India

	

	ANNotated Ada
Anna

    (Anna) A specification language
   developed at Stanford University ca. 1980 for formally
   specifying Ada programs.  It has a Specification Analyzer
   and a Consistency Checking System.  It adds semantic
   assertions in the form of Ada comments.

   (ftp://anna.stanford.edu/pub/anna/).

   ["ANNA - A Language for Annotating Ada Programs", David
   Luckham et al, Springer 1987].

   (1994-11-01)

	

	Anna
   grace, an aged widow, the daughter of Phanuel. She was a
   "prophetess," like Miriam, Deborah, and Huldah (2 Chr. 34:22).
   After seven years of married life her husband died, and during
   her long widowhood she daily attended the temple services. When
   she was eighty-four years old, she entered the temple at the
   moment when the aged Simeon uttered his memorable words of
   praise and thanks to God that he had fulfilled his ancient
   promise in sending his Son into the world (Luke 2:36, 37).

	

	Anna, gracious; one who gives

	

	Anna, OH -- U.S. village in Ohio
   Population (2000):    1319
   Housing Units (2000): 483
   Land area (2000):     0.836569 sq. miles (2.166704 sq. km)
   Water area (2000):    0.000000 sq. miles (0.000000 sq. km)
   Total area (2000):    0.836569 sq. miles (2.166704 sq. km)
   FIPS code:            02092
   Located within:       Ohio (OH), FIPS 39
   Location:             40.395352 N, 84.173744 W
   ZIP Codes (1990):     45302
   Note: some ZIP codes may be omitted esp. for suburbs.
   Headwords:
    Anna, OH
    Anna

	

	Anna, IL -- U.S. city in Illinois
   Population (2000):    5136
   Housing Units (2000): 2360
   Land area (2000):     3.380433 sq. miles (8.755281 sq. km)
   Water area (2000):    0.008580 sq. miles (0.022223 sq. km)
   Total area (2000):    3.389013 sq. miles (8.777504 sq. km)
   FIPS code:            01543
   Located within:       Illinois (IL), FIPS 17
   Location:             37.460973 N, 89.244357 W
   ZIP Codes (1990):     62906
   Note: some ZIP codes may be omitted esp. for suburbs.
   Headwords:
    Anna, IL
    Anna

	

	Anna, TX -- U.S. city in Texas
   Population (2000):    1225
   Housing Units (2000): 436
   Land area (2000):     1.673152 sq. miles (4.333444 sq. km)
   Water area (2000):    0.000000 sq. miles (0.000000 sq. km)
   Total area (2000):    1.673152 sq. miles (4.333444 sq. km)
   FIPS code:            03300
   Located within:       Texas (TX), FIPS 48
   Location:             33.350308 N, 96.550762 W
   ZIP Codes (1990):     75409
   Note: some ZIP codes may be omitted esp. for suburbs.
   Headwords:
    Anna, TX
    Anna