src/HOL/IOA/Asig.thy

--- a/src/HOL/IOA/Asig.thy	Thu Oct 12 18:09:06 2000 +0200
+++ b/src/HOL/IOA/Asig.thy	Thu Oct 12 18:38:23 2000 +0200
@@ -6,7 +6,7 @@
 Action signatures
 *)
 
-Asig = Prod +
+Asig = Product_Type +
 
 types