Index of /ftp-data/pub/ftp/people/nancy

	Name	Last modified	Size	Description
	Parent Directory		-
	bib.tex	1993-01-10 04:36	7.8K
	intro.tex	1993-01-10 04:36	5.4K
	lamport.tex	1993-01-10 04:36	14K
	main.aux	1993-01-10 04:38	3.3K
	main.dvi	1993-01-10 04:38	54K
	main.log	1993-01-10 04:38	1.6K
	main.tex	1993-03-05 12:12	7.9K
	model-defs.tex	1993-01-10 04:36	6.1K
	model.tex	1993-01-10 04:36	20K
	new-timed.tex	1993-01-10 04:36	36K
	newmain.aux	1993-03-05 12:15	5.9K
	newmain.dvi	1993-03-05 12:15	116K
	newmain.log	1993-03-05 12:15	2.3K
	newmain.tex	1993-03-05 12:15	7.9K
	timed.tex	1993-01-10 04:36	29K
	weaken.tex	1993-01-10 04:36	26K