clean up Coercion kinding functions, rename coercionKindTyConApp
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:47:48 +0000 (17:47 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:47:48 +0000 (17:47 +0000)
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


No differences found