lean2/tests/lean/omit.lean.expected.out

omit.lean:5:7: error: invalid omit command, 'A' has not been included
omit.lean:7:10: error: invalid include command, 'A' has already been included
foo : Π A, A → A → (Π B, B → B)
tst : Π A, A → A → Type → Type
feat(frontends/lean): add 'include' and 'omit' commands, closes #184 2014-10-03 14:23:24 +00:00			`omit.lean:5:7: error: invalid omit command, 'A' has not been included`
			`omit.lean:7:10: error: invalid include command, 'A' has already been included`
chore(tests): mass-update for pp.binder_types false 2016-06-01 02:14:42 +00:00			`foo : Π A, A → A → (Π B, B → B)`
			`tst : Π A, A → A → Type → Type`