--- a/src/HOLCF/IOA/NTP/Lemmas.thy Fri Oct 13 08:28:21 2000 +0200 +++ b/src/HOLCF/IOA/NTP/Lemmas.thy Fri Oct 13 10:49:05 2000 +0200 @@ -6,4 +6,4 @@ Arithmetic lemmas *) -Lemmas = Arithmetic +Lemmas = NatArith