Index of /new-static/bf/bfeb8aef-793a-4888-acd9-38d35f03c6da/attachments

	Name	Last modified	Size	Description
	Parent Directory		-
	SPARK95_RavenSPARK.pdf	2020-05-19 20:00	565K
	SPARK_Grammar.pdf	2020-05-19 20:00	159K
	SPARK_proof_annotations.pdf	2020-05-19 20:00	166K