added definitions inside main file
insert main targets
format to cweb-latex style