Parse error: syntax error, unexpected character 0x15 in /misc/HomePages/UserHomePages/i57/beckert/pub/Lean_Tableau_Prover_CADE94.pdf on line 274