Mon Sep 18 16:46:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* clean up Coercion kinding functions, rename coercionKindTyConApp
Sun Aug 6 17:37:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* clean up Coercion kinding functions, rename coercionKindTyConApp
Wed Jul 26 10:55:38 EDT 2006 kevind@bu.edu