[project @ 2005-03-16 10:46:32 by simonpj]
Localise the binder for the nested defn in LiberateCase, to avoid name clashes between top-level names. Discovered by Laszlo. Merge to STABLE
Please register or sign in to comment
Localise the binder for the nested defn in LiberateCase, to avoid name clashes between top-level names. Discovered by Laszlo. Merge to STABLE