Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 10:01:02 -0700 (Mon, 16 Apr 2007)
Revision: 10434
Log message:

      The CIC theory now compiles and initializes fine, adding it to THEORIES_ALL.