cc http://www.openmath.org/cd/ecc.ocd 2003-04-01 experimental 1999-08-20 1 1 CC Type Attribution for OM Initial version: O. Caprotti (May 20, 1999) Revised: O. Caprotti (Aug 20, 1999), split-up so that it uses symbols from lc, omtypes. type Attribution tag to denote type-judgement typecoerce Attribution tag to denote type-judgement with coercion