theory_explorer: theory_explorer.ml
	ocamlc -g -rectypes -o theory_explorer unix.cma theory_explorer.ml