Index of /~raulh/ufes/teaching/courses/s.and.s/notes/proplogic

	Name	Last modified	Size	Description
	Parent Directory		-
	0.tex	2004-11-06 16:52	7.4K
	Scratch.thy	2004-10-23 10:33	55
	eqlogic.tex	2004-11-15 11:42	5.0K
	isarpropLogic.thy	2004-11-17 04:22	2.0K
	logic.aux	2004-11-12 18:17	1.8K
	logic.bbl	2004-11-07 09:52	872
	logic.blg	2004-11-07 09:52	1.0K
	logic.dvi	2004-11-07 09:53	23K
	logic.log	2004-11-12 18:17	9.9K
	logic.out	2004-11-12 18:17	344
	logic.pdf	2004-11-12 18:17	131K
	logic.tex	2004-11-07 10:08	8.1K
	natdeduction.tex	2004-11-07 09:46	581
	prop.thy	2004-11-12 18:46	433
	propLogic.thy	2004-11-17 04:34	1.7K
	quantifiers.tex	2004-11-06 18:38	76
	x	2004-11-06 18:41	1.4K