modified:   Makefile
	modified:   prover.c
	new file:   python_ext/Makefile