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

	Name	Last modified	Size	Description
	Parent Directory		-
	4-BYTree.dfy	2025-08-24 23:04	1.4K
	4.2-Destructors.dfy	2025-08-24 23:04	743
	4.4-ColoredTree.dfy	2025-08-24 23:04	607
	4.5-Tree.dfy	2025-08-24 23:04	2.3K
	4.6-Expr.dfy	2025-08-24 23:04	926