/CofferClassType.java/1.4/Thu Aug  9 19:57:27 2012//
/CofferConstructorInstance.java/1.5/Fri Aug 10 04:00:23 2012//
/CofferConstructorInstance_c.java/1.8/Fri Aug 10 04:00:23 2012//
/CofferContext.java/1.5/Fri Aug 10 04:00:23 2012//
/CofferContext_c.java/1.5/Thu Aug  9 19:57:27 2012//
/CofferMethodInstance.java/1.5/Fri Aug 10 04:00:23 2012//
/CofferMethodInstance_c.java/1.9/Fri Aug 10 04:00:23 2012//
/CofferParsedClassType.java/1.4/Thu Aug  9 19:57:27 2012//
/CofferParsedClassType_c.java/1.7/Fri Aug 10 04:00:23 2012//
/CofferProcedureInstance.java/1.7/Fri Aug 10 04:00:23 2012//
/CofferSubst.java/1.6/Fri Aug 10 04:00:23 2012//
/CofferSubstClassType_c.java/1.5/Fri Aug 10 04:00:23 2012//
/CofferSubstType.java/1.4/Thu Aug  9 19:57:27 2012//
/CofferSubst_c.java/1.7/Fri Aug 10 04:00:23 2012//
/CofferTypeSystem.java/1.5/Fri Aug 10 04:00:23 2012//
/CofferTypeSystem_c.java/1.9/Fri Aug 10 04:00:23 2012//
/InstKey.java/1.5/Fri Aug 10 04:00:23 2012//
/InstKey_c.java/1.7/Fri Aug 10 04:00:23 2012//
/Key.java/1.6/Fri Aug 10 04:00:23 2012//
/KeySet.java/1.5/Fri Aug 10 04:00:23 2012//
/KeySet_c.java/1.6/Fri Aug 10 04:00:23 2012//
/Key_c.java/1.6/Fri Aug 10 04:00:23 2012//
/ParamKey.java/1.5/Fri Aug 10 04:00:23 2012//
/ParamKey_c.java/1.7/Fri Aug 10 04:00:23 2012//
/ThrowConstraint.java/1.6/Fri Aug 10 04:00:23 2012//
/ThrowConstraint_c.java/1.7/Fri Aug 10 04:00:23 2012//
/UnknownKey.java/1.5/Fri Aug 10 04:00:23 2012//
/UnknownKey_c.java/1.6/Fri Aug 10 04:00:23 2012//
/package.html/1.1/Sun Dec 22 21:44:04 2002//
D
