Index of /users/eker/Maude/Transfer

	Name	Last modified	Size	Description
	Parent Directory		-
	buddy	2006-03-31 16:32	913
	gmp2	2006-03-31 16:32	1.5K
	tecla2	2006-03-31 16:32	1.5K
	finalConfig3	2006-03-31 16:32	2.5K
	stratTest.maude	2006-03-31 16:21	3.1K
	set.tar	2006-04-01 23:29	10K
	map.tar	2006-04-01 23:32	20K
	libtecla.h	2006-03-31 23:00	82K
	libtecla.h.1.6.0	2006-03-31 23:00	82K
	libtecla.a	2006-03-31 23:01	225K
	libtecla-1.6.0.tar	2006-03-31 16:31	2.1M
	buddy-2.4.tar	2006-03-31 16:30	3.3M
	gmp-4.1.4.tar	2006-03-31 16:29	11M