major update of Definition list; fixed error in Judson (boolean.tex chapter)