Index of /Software/Specware/specware/2-0-3/library/slang-specs/partial

	Name	Last modified	Size	Description
	Parent Directory		-
	partial-as-triv-defn-extn.re	2012-11-01 12:13	1.5K
	partial-of-nat.re	2012-11-01 12:13	693
	partial.re	2012-11-01 12:13	1.2K