--- a/src/HOL/Lex/NAe.thy Mon Apr 17 14:27:10 2000 +0200
+++ b/src/HOL/Lex/NAe.thy Tue Apr 18 00:36:02 2000 +0200
@@ -6,7 +6,7 @@
Nondeterministic automata with epsilon transitions
*)
-NAe = List + Option + NA +
+NAe = NA +
types ('a,'s)nae = ('a option,'s)na