changeset 5291 | 5706f0ef1d43 |
parent 4721 | c8a8482a8124 |
child 8161 | bde1391fd0a5 |
--- a/src/HOLCF/Up3.ML Mon Aug 10 17:06:02 1998 +0200 +++ b/src/HOLCF/Up3.ML Wed Aug 12 12:17:20 1998 +0200 @@ -110,7 +110,7 @@ (stac contlub_cfun_arg 1), (etac (monofun_Ifup2 RS ch2ch_monofun) 1), (rtac lub_equal2 1), - (rtac (monofun_fapp2 RS ch2ch_monofun) 2), + (rtac (monofun_Rep_CFun2 RS ch2ch_monofun) 2), (etac (monofun_Ifup2 RS ch2ch_monofun) 2), (etac (monofun_Ifup2 RS ch2ch_monofun) 2), (rtac (chain_mono2 RS exE) 1),