Index of /wadler/papers/pizza2

      Name                    Last modified      Size  Description
      pizza2.dvi              2003-10-17 10:44   19K  
      pizza2.dvi.gz           2003-10-17 10:44  7.9K  
      pizza2.ps               2003-10-17 10:44  270K  
      pizza2.ps.gz            2003-10-17 10:44   53K  
      pizza2/                 2003-10-17 10:44    -