Compilation: make
Inspection: coqide Ilist.v &
	    coqide Graphs.v &
Remark: the Makefile is just generated by coq_makefile as indicated in
the Makefile