Julin S 07640878c6 a mass commit		2024-01-10 14:39:27 +05:30
..
1-lf-logic.v	[coq] try some sf1 (lf)	2024-01-04 20:53:48 +05:30
lf7_IndProp.v	a mass commit	2024-01-10 14:39:27 +05:30