ProgTutorial/Package/Ind_General_Scheme.thy
changeset 237 0a8981f52045
parent 219 98d43270024f
child 244 dc95a56b1953
--- a/ProgTutorial/Package/Ind_General_Scheme.thy	Thu Apr 09 18:11:35 2009 +0000
+++ b/ProgTutorial/Package/Ind_General_Scheme.thy	Sat Apr 11 19:23:58 2009 +0000
@@ -179,7 +179,7 @@
 
 val eo_preds =  [@{term "even::nat\<Rightarrow>bool"}, @{term "odd::nat\<Rightarrow>bool"}] 
 val eo_prednames = [@{binding "even"}, @{binding "odd"}]
-val eo_syns = [NoSyn, NoSyn] 
+val eo_mxs = [NoSyn, NoSyn] 
 val eo_arg_tyss = [[@{typ "nat"}], [@{typ "nat"}]] 
 val e_pred = @{term "even::nat\<Rightarrow>bool"}
 val e_arg_tys = [@{typ "nat"}]