Document syntax of proof files