e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederparse error at (line 1, column 13):

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederunexpected "="

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederexpecting [<id>,...,<id>], "{", "%%", "%{", "%(", "%", ";", "sort", "op", "pred", "type", "class", "program", "generated", "free", "var", "forall", dot, "axiom" or end of input

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maeder

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederparse error at (line 2, column 9):

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederunexpected end of input

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederexpecting casl char, underline word, "?", words, "__", signs, "(", "{", "[", "%%", "%{", "%(", "%", ":", cross, "->", "->?", "-->", "-->?" or "="

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maeder

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederparse error at (line 3, column 5):

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederunexpected "?"

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederexpecting casl char, underline word, "{", __, [<id>,...,<id>], "[", "%%", "%{", "%(", "%", ",", "(" or ":?"

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maeder

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederparse error at (line 4, column 6):

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederunexpected "+"

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederexpecting casl char, underline word, "{", __, "%%", "%{", "%(", "%", ",", ":" or "<"

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maeder

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederparse error at (line 5, column 5):

0243238805d31e597195ef974e8e7eccb587a390Christian Maederunexpected "<"

14a6ec72de5c35d65c2adcd54b6fecbd8bc271b6Christian Maederexpecting id

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maeder

0243238805d31e597195ef974e8e7eccb587a390Christian Maederparse error at (line 6, column 6):

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederunexpected end of input

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederexpecting casl sign, "{", __, "%%", "%{", "%(", "%", ",", ":" or "<"

0243238805d31e597195ef974e8e7eccb587a390Christian Maeder

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederparse error at (line 7, column 19):

14a6ec72de5c35d65c2adcd54b6fecbd8bc271b6Christian Maederunexpected kind annotation

14a6ec72de5c35d65c2adcd54b6fecbd8bc271b6Christian Maeder

14a6ec72de5c35d65c2adcd54b6fecbd8bc271b6Christian Maederparse error at (line 8, column 17):

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederunexpected list of type arguments

14a6ec72de5c35d65c2adcd54b6fecbd8bc271b6Christian Maederexpecting "{", __, "%%", "%{", "%(", "%", "+", "-", ",", ":" or "<"

14a6ec72de5c35d65c2adcd54b6fecbd8bc271b6Christian Maeder

14a6ec72de5c35d65c2adcd54b6fecbd8bc271b6Christian Maederparse error at (line 9, column 12):

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederunexpected list of type arguments

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maederexpecting casl char, underline word, "{", __, "%%", "%{", "%(", "%", "+", "-", ",", ":" or "<"

14a6ec72de5c35d65c2adcd54b6fecbd8bc271b6Christian Maeder

e39a1626bee36d6ad13a2c0014a80ef179a65bcbChristian Maeder