• Reasoning About Knowledge: HW8

	Filename	Updated	Actions
	bibliography		delete
	figures		delete
	2.tex		delete
	We_now_use_this_lemma__.tex		delete
	header.tex
	layout.md
	section_6_16_newcommand_done__.tex		delete
	section_6_19_subsection_a__.tex		delete
	section_6_23_We_describe__.tex		delete
	subsection_b_This_follows_immediately__.tex		delete
	subsection_b_bf_Knowledge_generalization__.tex		delete
	subsubsection_i_First_direction_by__.tex		delete
	subsubsection_ii_I_assume_that__.tex		delete
	subsubsection_ii_If_we_are__.tex		delete
	title.tex