12 Feb
2008
12 Feb
'08
4:43 a.m.
Mon Feb 11 06:32:35 PST 2008 patrikj@chalmers.se * GShow[Ext] PolyP (trivially failing cases added) M ./comparison/PolyP/GShow.lhs -6 +2 A ./comparison/PolyP/GShowExt.lhs M ./comparison/log.txt -6 +2