Index of /~tinelli/classes/181/Fall25/Tools/Dafny/Program-proofs-code/ch6

	Name	Last modified	Size	Description
	Parent Directory		-
	6.2-Algebra.dfy	2025-08-24 23:04	287
	6-Lists.dfy	2025-08-24 23:04	6.5K