Last line is a lie. It is there to stop the Prover9-Mace4
% Saved by Prover9-Mace4 Version 0.5, December 2007. % Last line is a lie. It is there to stop the Prover9-Mace4 % GUI giving a warning when the file is loaded. % This file was actually reated by BB Prover9 Autograder set(ignore_option_dependencies). % GUI handles dependencies if(Prover9). % Options for Prover9 clear(auto). clear(auto_setup). clear(auto_limits). clear(auto_denials). […]