--- a/src/HOLCF/IOA/meta_theory/Automata.thy Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOLCF/IOA/meta_theory/Automata.thy Sat Dec 01 18:52:32 2001 +0100
@@ -9,7 +9,7 @@
Automata = Option + Asig + Inductive +
-default term
+default type
types
('a,'s)transition = "'s * 'a * 's"