--- a/src/HOLCF/IOA/NTP/Lemmas.thy Thu Oct 12 18:09:06 2000 +0200 +++ b/src/HOLCF/IOA/NTP/Lemmas.thy Thu Oct 12 18:38:23 2000 +0200 @@ -6,4 +6,4 @@ Arithmetic lemmas *) -Lemmas = Arith +Lemmas = Arithmetic