Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-28 20:11:36 -0800 (Wed, 28 Dec 2005)
Revision: 8383
Log message:

      CAUTION: the magic number has changed!  Please save your work before
      updating.
      
      Added the "const" modifier to declare/define.  An example:
      
         declare const void
      
      This affects only Filter_grammar-based parsing, where an identifier is
      interpreted as a term only if it is declared as a "const".  Otherwise there
      is no affect, and you won't notice any difference.
      
      - Generalized the opname "shape_class" modifiers, which are now
        represented as a bitset.  This should help if we ever want things like
        private/protected/public modifiers.
      
      - Added the following const declarations:
        ./theories/itt/core/itt_list2.mli:define const iform unfold_list : list <--> list{top}
        ./theories/itt/core/itt_atom.mli:declare const atom
        ./theories/itt/core/itt_unit.mli:declare const unit
        ./theories/itt/core/itt_nat.mli:define const unfold_nat :
        ./theories/itt/core/itt_void.mli:declare const void
        ./theories/meta/base/base_trivial.mli:declare const it
      
      - TODO: "const" modifiers should not be allowed on terms with non-zero arity,
        and probably not allowed even if the term has parameters.