theory_explorer: theory_explorer.ml
	ocamlopt -rectypes -o theory_explorer unix.cmxa theory_explorer.ml