Index of /~novotnyr/home/skola/logika_pre_informatikov/ppoc

	Name	Last modified	Size	Description
	Parent Directory		-
	ppoc.dvi	2003-05-20 17:37	9.4K
	ppoc.pdf	2003-05-20 17:37	142K
	ppoc.tex	2003-05-20 17:37	7.0K