Infinite chains in definitions are now detected, too.
(* Title: Pure/CPure.thy
ID: $Id$
Author: Makarius
The CPure theory -- Pure with alternative application syntax.
*)
theory CPure
imports Pure
begin
setup
"[Theory.del_modesyntax Syntax.default_mode Syntax.pure_appl_syntax,
Theory.add_syntax Syntax.pure_applC_syntax]"
end