Index of /ftp/hvg/hol88/contrib/more_lists

	Name	Last modified	Size	Description
	Parent Directory		-
	lastn.ml.gz	1994-02-09 09:33	6.0K
	firstn.ml.gz	1994-02-09 09:32	4.7K
	select.ml.gz	1994-02-09 09:34	3.7K
	member.ml.gz	1994-02-09 09:33	3.5K
	el.ml.gz	1994-02-09 09:32	3.5K
	range.ml.gz	1994-02-09 09:33	3.4K
	append.ml.gz	1994-02-09 09:32	3.2K
	list_convs.ml.gz	1994-02-09 09:33	2.8K
	general.ml.gz	1994-02-09 09:32	2.5K
	last.ml.gz	1994-02-09 09:33	2.5K
	append_snoc.ml.gz	1994-02-09 09:32	2.3K
	list_tactics.ml.gz	1994-02-09 09:33	2.2K
	unappend.ml.gz	1994-02-09 09:34	2.0K
	ell.ml.gz	1994-02-09 09:32	2.0K
	map.ml.gz	1994-02-09 09:33	1.9K
	list_imec_tactics.ml.gz	1994-02-09 09:33	1.9K
	shift.ml.gz	1994-02-09 09:34	1.9K
	snoc2.ml.gz	1994-02-09 09:34	1.7K
	tail.ml.gz	1994-02-09 09:34	1.7K
	snoc.ml.gz	1994-02-09 09:34	1.5K
	READ-ME.gz	1994-02-09 09:32	1.3K
	zip.ml.gz	1994-02-09 09:34	1.3K
	more_lists.ml.old.gz	1994-02-09 09:33	1.0K
	more_lists.ml.gz	1994-02-09 09:33	1.0K
	Makefile.gz	1994-02-09 09:32	915
	general_lists.th.gz	1994-02-09 09:32	914
	clauses.ml.gz	1994-02-09 09:32	725
	load_more_lists.ml.gz	1994-02-09 09:33	657
	load_more_lists.ml.old.gz	1994-02-09 09:33	647
	more_lists.ml.new.gz	1994-02-09 09:33	478
	mk_append.ml.gz	1994-02-09 09:33	447
	mk_snoc.ml.gz	1994-02-09 09:33	426
	mk_subseq.ml.gz	1994-02-09 09:33	365
	mk_more_lists.ml.gz	1994-02-09 09:33	312
	call_load_auxiliary.ml.gz	1994-02-09 09:32	243
	itlist.ml.gz	1994-02-09 09:33	235
	help/	1994-02-09 09:33	-
	Manual/	1994-02-09 09:39	-