-
chak@cse.unsw.edu.au. authored
Tue Aug 1 16:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Renaming of kind signatures (rnTySig)
b6eb00d1
Tue Aug 1 16:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Renaming of kind signatures (rnTySig)