patch applied (generics): GL GRose equality
13 Jun
2007
13 Jun
'07
8:58 a.m.
Wed Jun 13 04:50:53 PDT 2007 agerdes@mac.com * GL GRose equality M ./comparison/GL/GEq.lhs -1 +3
6551
Age (days ago)
6551
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev