Index of /ftp/hvg/hol88/contrib/eval

	Name	Last modified	Size	Description
	Parent Directory		-
	wordn.ml	1990-06-02 11:22	4.0K
	eval.ml	1991-09-29 09:25	877
	eval.l	1989-12-29 11:50	21K
	dml-eval.l	1989-12-29 11:50	1.8K
	READ-ME	1989-12-29 11:50	1.5K
	Makefile	1990-12-09 15:01	3.1K