reid 2001/04/07 11:39:26 PDT Modified files: . Readme Log: 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?) Revision Changes Path 1.12 +1 -1 hugs98/Readme