Type	Name	Last modified	Size
	Parent Directory
DIR	lib	1996-07-17 12:56:17	-
FILE	Figure-e.html	1996-06-19 16:07:45	6k
FILE	Figure-j.html	1995-03-23 20:52:09	3k
FILE	index-e.html	1996-10-02 18:07:50	8k
FILE	index-j.html	1996-10-02 18:21:38	8k