Index of /~krsubramani/courses/sp13/dm2/lecnotes/texts/proplogic

	Name	Last modified	Size	Description
	Parent Directory		-
	proplogic-adv.tex	2017-01-26 13:51	17K
	proplogic-basics.tex	2017-01-26 13:51	17K
	proplogic-decproc.tex	2017-01-26 13:51	6.6K
	proplogic-subandnorf..>	2017-01-26 13:51	9.1K