Index of /~grue/logiweb/20050502/home/ahvam/propositional-calculus/fixed/expansion/tex

	Name	Last modified	Size	Description
	Parent Directory		-
	lgwinclude.tex	2005-06-02 20:16	2.2K
	page.aux	2005-06-02 20:16	724
	page.dvi	2005-06-02 20:16	39K
	page.idx	2005-06-02 20:16	0
	page.log	2005-06-02 20:16	6.1K
	page.otx	2005-06-02 20:16	1.8K
	page.out	2005-06-02 20:16	129
	page.sty	2005-06-02 20:16	679
	page.tex	2005-06-02 20:16	49K
	page.tst	2005-06-02 20:16	299
	page.pdf	2005-06-02 20:16	161K