Index of /lprolog_sources/fun-trans-1.0.4

	Name	Last modified	Size	Description
	Parent Directory		-
	LPrologMakefile	14-Oct-2006 14:12	1.8K
	Makefile	14-Oct-2006 14:12	466
	TODO	14-Oct-2006 14:13	128
	VERSION	14-Oct-2006 14:13	14
	cse.mod	14-Oct-2006 14:13	1.4K
	cse.sig	14-Oct-2006 14:12	354
	effect_monad.mod	14-Oct-2006 14:12	1.1K
	effect_monad.sig	14-Oct-2006 14:12	1.8K
	let_ext.mod	14-Oct-2006 14:12	2.0K
	let_ext.sig	14-Oct-2006 14:12	1.2K
	lprolog.vim	14-Oct-2006 14:12	4.3K
	main.mod	14-Oct-2006 14:12	1.8K
	main.sig	14-Oct-2006 14:12	155
	make_terzo.ml	14-Oct-2006 14:12	2.0K
	oper_sem.mod	14-Oct-2006 14:12	667
	oper_sem.sig	14-Oct-2006 14:12	202
	part_eval.mod	14-Oct-2006 14:12	4.7K
	part_eval.sig	14-Oct-2006 14:12	914
	poly_oper_sem.mod	14-Oct-2006 14:13	232
	poly_oper_sem.sig	14-Oct-2006 14:12	62
	poly_terms.mod	14-Oct-2006 14:13	1.5K
	poly_terms.sig	14-Oct-2006 14:13	873
	poly_types.mod	14-Oct-2006 14:12	112
	poly_types.sig	14-Oct-2006 14:12	567
	poly_typing.mod	14-Oct-2006 14:12	795
	poly_typing.sig	14-Oct-2006 14:12	465
	termination.mod	14-Oct-2006 14:13	233
	termination.sig	14-Oct-2006 14:12	271
	terms.mod	14-Oct-2006 14:12	1.1K
	terms.sig	14-Oct-2006 14:12	1.4K
	terzo_stuff.mod	14-Oct-2006 14:12	209
	tests/	14-Oct-2006 14:19	-
	tp_let_ext.mod	14-Oct-2006 14:12	3.1K
	tp_let_ext.sig	14-Oct-2006 14:12	1.4K
	tp_part_eval.mod	14-Oct-2006 14:12	7.5K
	tp_part_eval.sig	14-Oct-2006 14:12	1.1K
	tp_terms.mod	14-Oct-2006 14:12	4.4K
	tp_terms.sig	14-Oct-2006 14:12	2.2K
	trafo.mod	14-Oct-2006 14:12	242
	trafo.sig	14-Oct-2006 14:13	143
	types.mod	14-Oct-2006 14:13	85
	types.sig	14-Oct-2006 14:13	612
	typing.mod	14-Oct-2006 14:13	916
	typing.sig	14-Oct-2006 14:12	215
	utils.mod	14-Oct-2006 14:12	2.7K
	utils.sig	14-Oct-2006 14:12	3.4K