Parse error: syntax error, unexpected token "=" in /misc/HomePages/UserHomePages/i57/beckert/pub/Semantic_Tableaux_with_Equality.pdf on line 792