changeset 1267 | bca91b4e1710 |
parent 1168 | 74be52691d62 |
child 1461 | 6bcb44e4d6e5 |
--- a/src/HOLCF/Cont.ML Wed Oct 04 13:12:14 1995 +0100 +++ b/src/HOLCF/Cont.ML Wed Oct 04 14:01:44 1995 +0100 @@ -147,7 +147,7 @@ (rtac (binchain_cont RS is_ub_lub) 2), (atac 2), (atac 2), - (simp_tac nat_ss 1) + (Simp_tac 1) ]); (* ------------------------------------------------------------------------ *)