Index of /~rat/asd/microml-as/doc

	Name	Last modified	Size	Description
	Parent Directory		-
	definition.dvi.gz	1996-11-19 09:52	3.7K
	definition.ps.gz	1996-11-19 09:53	40K
	definition.tex	1993-03-31 09:54	893
	informal.tex	1996-11-19 09:49	8.4K
	microML.tex	1996-11-19 09:52	7.0K