various
log file (shouldn't really be "in" the project).
Merge branch 'master' of https://github.com/osj1961/giam

Conflicts:
	GIAM-hw.log
	GIAM-hw.out
	GIAM-hw.pdf
	card/card-hw.aux
	intro/intro-hw.aux
	logic/logic-hw.aux
	proof1/proof1-hw.aux
	proof2/proof2-hw.aux
	proof3/proof3-hw.aux
	proof4/proof4-hw.aux
	rel/rel-hw.aux
	sets/sets-hw.aux