Sun, 06 Jul 2008 04:33:51 +0000 kevin coend, n>1 case
Sat, 05 Jul 2008 21:48:19 +0000 kevin a little more
Sat, 05 Jul 2008 20:44:17 +0000 kevin small tweaks to Ainf module defn
Sat, 05 Jul 2008 20:01:03 +0000 kevin a few changes to top Ainf cat def, etc.
(0) -30 -10 -4 +4 +10 +30 +100 +300 tip