Index of /~monin/Proof/Small_inversions/2021/list_from_right

	Name	Last modified	Size	Description
	Parent Directory		-
	foldl.v	2021-07-01 11:42	7.5K
	lr.v	2021-07-01 11:42	4.6K
	lr_rec.v	2021-07-01 11:42	6.4K
	mark.v	2021-07-01 11:42	1.0K