Index of /~budi/courses/ec7030/formal-methods

	Name	Last modified	Size	Description
	Parent Directory		-
	0-README.txt	03-Nov-2005 05:08	117
	case.aux	03-Nov-2005 05:05	617
	case.tex	03-Nov-2005 05:05	167
	fm-referensi.bib	03-Nov-2005 05:05	1.8K
	fm.aux	03-Nov-2005 05:05	416
	fm.bbl	03-Nov-2005 05:05	1.6K
	fm.blg	03-Nov-2005 05:05	413
	fm.dvi	03-Nov-2005 05:05	64K
	fm.idx	03-Nov-2005 05:05	94
	fm.ilg	03-Nov-2005 05:05	488
	fm.ind	03-Nov-2005 05:05	169
	fm.lof	03-Nov-2005 05:04	21
	fm.log	03-Nov-2005 05:05	7.2K
	fm.lot	03-Nov-2005 05:04	21
	fm.pdf	03-Nov-2005 05:06	547K
	fm.tex	03-Nov-2005 05:05	574
	fm.toc	03-Nov-2005 05:04	1.3K
	indonesia.aux	03-Nov-2005 05:05	468
	indonesia.tex	03-Nov-2005 05:05	311
	pendahuluan.aux	03-Nov-2005 05:05	1.5K
	pendahuluan.bbl	03-Nov-2005 05:07	0
	pendahuluan.blg	03-Nov-2005 05:07	372
	pendahuluan.dvi	03-Nov-2005 05:07	2.0K
	pendahuluan.log	03-Nov-2005 05:08	469K
	pendahuluan.tex	03-Nov-2005 05:05	18K
	proses.eps	03-Nov-2005 05:05	226K
	sintesa.aux	03-Nov-2005 05:06	625
	sintesa.tex	03-Nov-2005 05:06	1.3K
	spec.aux	03-Nov-2005 05:04	1.4K
	spec.bbl	03-Nov-2005 05:06	0
	spec.blg	03-Nov-2005 05:06	351
	spec.dvi	03-Nov-2005 05:06	2.1K
	spec.log	03-Nov-2005 05:07	252K
	spec.tex	03-Nov-2005 05:05	16K
	verification.aux	03-Nov-2005 05:05	1.0K
	verification.tex	03-Nov-2005 05:05	3.5K