-
chak@cse.unsw.edu.au. authored
Mon Sep 18 19:06:12 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Fix the tyvars used for data con signatures Sat Aug 19 17:19:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Fix the tyvars used for data con signatures
0e3e2862