-
chak@cse.unsw.edu.au. authored
Mon Aug 7 11:15:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Deriving Eq for OverlapFlag again
00c8e4f5
Mon Aug 7 11:15:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Deriving Eq for OverlapFlag again