Proof-Checker: theory IA_Instance
Proof-Checker FAILED
(see also /home/julian/.isabelle/Isabelle2016-1/heaps/polyml-5.6_x86_64-linux/log/Proof-Checker)
###     ("_applC" ("_position" of_int)
###       ("_applC" ("_position" eval_poly)
###         ("_cargs" ("_position" \<alpha>) ("_position" p))))
###     ("\<^const>Groups.plus_class.plus"
###       ("_valuate" ("_position" q) ("_position" \<beta>))
###       ("_applC" ("_position" of_int) ("_position" d)))))
### Fortunately, only one parse tree is well-formed and type-correct,
### but you may still want to disambiguate your grammar or your input.
### Ambiguous input (line 119 of "~/coding/IsaFoR/thys/LTS/IA_Checker.thy") produces 3 parse trees:
### ("\<^const>HOL.Trueprop"
###   ("\<^const>Groups.plus_class.plus"
###     ("_valuate"
###       ("\<^const>HOL.eq"
###         ("_applC" ("_position" of_int)
###           ("_applC" ("_position" eval_poly)
###             ("_cargs" ("_position" \<alpha>) ("_position" p))))
###         ("_position" q))
###       ("_position" \<beta>))
###     ("_applC" ("_position" of_int) ("_position" d))))
### ("\<^const>HOL.Trueprop"
###   ("\<^const>Groups.plus_class.plus"
###     ("_applC" ("_position" of_int)
###       ("_valuate"
###         ("\<^const>HOL.eq"
###           ("_applC" ("_position" eval_poly)
###             ("_cargs" ("_position" \<alpha>) ("_position" p)))
###           ("_position" q))
###         ("_position" \<beta>)))
###     ("_applC" ("_position" of_int) ("_position" d))))
### ("\<^const>HOL.Trueprop"
###   ("\<^const>HOL.eq"
###     ("_applC" ("_position" of_int)
###       ("_applC" ("_position" eval_poly)
###         ("_cargs" ("_position" \<alpha>) ("_position" p))))
###     ("\<^const>Groups.plus_class.plus"
###       ("_valuate" ("_position" q) ("_position" \<beta>))
###       ("_applC" ("_position" of_int) ("_position" d)))))
### Fortunately, only one parse tree is well-formed and type-correct,
### but you may still want to disambiguate your grammar or your input.
locale IA
CeTA CANCELLED
Code CANCELLED
Unfinished session(s): CeTA, Code, Proof-Checker

Finished at Wed Jun 21 01:20:25 GMT+2 2017
0:15:47 elapsed time, 0:52:01 cpu time, factor 3.29
Makefile:69: recipe for target 'code' failed
make: *** [code] Error 137