-
chak@cse.unsw.edu.au. authored
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
204e70a4