Index of /ftp/hvg/hol88/contrib/wordn

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	1992-12-04 12:52	4.9K
	Manual/	1994-02-25 10:52	-
	READ-ME	1992-12-04 12:52	6.1K
	binder.ml	1992-12-04 12:52	2.9K
	genfuns.ml	1992-12-04 12:52	630
	genfuns_ml.o	1992-12-04 12:52	7.8K
	help/	1992-12-04 12:52	-
	info-hol.ml	1992-12-04 12:52	4.0K
	load_wordn.ml	1992-12-04 12:52	1.0K
	load_wordn.ml.sav	1992-12-04 12:52	1.0K
	mk_test.ml	1992-12-04 12:52	3.4K
	mk_test2.ml	1992-12-04 12:52	2.3K
	mk_wordn.ml	1992-12-04 12:52	514
	mk_wordn_arith.ml	1992-12-04 12:52	21K
	mk_wordn_base.ml	1992-12-04 12:52	2.9K
	mk_wordn_bitops.ml	1992-12-04 12:52	8.2K
	mk_wordn_ints.ml	1992-12-04 12:52	28K
	mk_wordn_num.ml	1992-12-04 12:52	9.3K
	more_integers.ml	1992-12-04 12:52	18K
	more_integers.th	1992-12-04 12:52	6.3K
	oconv.ml	1992-12-04 12:52	16K
	oconv_ml.o	1992-12-04 12:52	82K
	wordn.ml	1992-12-04 12:52	2.4K
	wordn.th	1992-12-04 12:52	369
	wordn_base.th	1992-12-04 12:52	2.6K
	wordn_bit_op.ml	1992-12-04 12:52	8.2K
	wordn_bit_op_ml.o	1992-12-04 12:52	37K
	wordn_bitops.th	1992-12-04 12:52	10K
	wordn_bits.ml	1992-12-04 12:52	37K
	wordn_bits_ml.o	1992-12-04 12:52	152K
	wordn_conv.ml	1992-12-04 12:52	5.5K
	wordn_conv_ml.o	1992-12-04 12:52	25K
	wordn_ints.th	1992-12-04 12:52	6.7K
	wordn_num.ml	1992-12-04 12:52	19K
	wordn_num.th	1992-12-04 12:52	3.9K
	wordn_num_ml.o	1992-12-04 12:52	76K
	wordn_nval.ml	1992-12-04 12:52	6.1K
	wordn_pack.ml	1992-12-04 12:52	5.7K
	wordn_rules.ml	1992-12-04 12:52	32K
	wordn_rules_ml.o	1992-12-04 12:52	107K
	wordn_tacs.ml	1992-12-04 12:52	569
	wordn_tacs_ml.o	1992-12-04 12:52	4.9K