Corrected a small typo: s/distriution/distribution/
Corrected a small typo: s/distriution/distribution/

(btw, There used to be a file which documented the forall/exists
extensions to Hugs.  Seems to me that that file should be in
hugs98/docs - but maybe that information migrated into the
LaTeX documentation?)

FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs