# HG changeset patch
# User slotosch
# Date 856173670 -3600
# Node ID 533a84b3bedd288d97648bea5c3a07db07206170
# Parent  ee4dfce170a0c2163e964a050fc0ff6208a62bcb
using types one = unit lift and translations causes troubles between
the type one and the constant one. The later was changed to ONE

diff -r ee4dfce170a0 -r 533a84b3bedd src/HOLCF/domain/axioms.ML
--- a/src/HOLCF/domain/axioms.ML	Mon Feb 17 10:57:11 1997 +0100
+++ b/src/HOLCF/domain/axioms.ML	Mon Feb 17 11:01:10 1997 +0100
@@ -38,7 +38,7 @@
      fun idxs z x arg = (if is_lazy arg then fn t => %%"up"`t else Id)
 			(if recu andalso is_rec arg then (cproj (Bound z) 
 			(length eqs) (rec_of arg))`Bound(z-x) else Bound(z-x));
-     fun parms [] = %%"one"
+     fun parms [] = %%"ONE"
      |   parms vs = foldr'(fn(x,t)=> %%"spair"`x`t)(mapn (idxs(length vs))1 vs);
      fun inj y 1 _ = y
      |   inj y _ 0 = %%"sinl"`y