--- a/src/HOL/Lex/NA.thy Fri Oct 02 10:44:20 1998 +0200
+++ b/src/HOL/Lex/NA.thy Fri Oct 02 14:28:39 1998 +0200
@@ -25,7 +25,7 @@
consts steps :: "('a,'s)na => 'a list => ('s * 's)set"
primrec
-"steps A [] = id"
+"steps A [] = Id"
"steps A (a#w) = steps A w O step A a"
end