Index of /~water/spec

	Name	Last modified	Size	Description

	Parent Directory		-
	html/	23-Aug-2003 04:42	-
	lll.maude	29-Apr-2003 22:50	261
	migration.maude	29-Apr-2003 22:50	107
	spec.lyx	23-Aug-2003 04:41	29K
	spec.pdf	08-Apr-2003 15:52	119K
	spec.ps	08-Apr-2003 15:52	58K
	spec.tex	09-Apr-2003 01:53	21K
	spec.txt	09-Apr-2003 01:53	19K

Apache/2.2.16 (Debian) PHP/5.3.3-7+squeeze9 with Suhosin-Patch mod_ssl/2.2.16 OpenSSL/0.9.8o Server at tunes.org Port 80