Index of /courses/pub/finin/kqmlspec

	Name	Last modified	Size	Description
	Parent Directory		-
	appendices.tex	1994-01-10 15:35	13K
	bibliography.tex	1994-01-10 15:35	367
	introduction.tex	1994-01-10 15:35	7.5K
	parameters.tex	1994-01-10 15:35	4.3K
	performatives.tex	1994-01-10 15:35	32K
	preface.tex	1994-01-10 15:35	1.9K
	proposed.tex	1994-01-10 15:35	435
	semantics.tex	1994-01-10 15:35	2.4K
	spec.bbl	1994-01-10 15:35	0
	spec.ps	1994-01-10 15:35	257K
	spec.tex	1994-01-10 15:35	1.4K
	syntax.tex	1994-01-10 15:35	2.6K
	title.tex	1994-01-10 15:35	2.1K