HoareTut

makefile changed
Original make and MakeFile are kept in folder original_make