Dan Frumin c366c8f59b Use the namespace FSets		2018-02-10 20:06:37 +01:00
..
b_finite.v	Use the namespace FSets	2018-02-10 20:06:37 +01:00
enumerated.v	Update the code to match the latest HoTT	2017-11-06 15:25:56 +01:00
k_finite.v	Show that a type is Kfinite if its truncation is Kfinite	2018-01-25 18:08:47 +01:00
sub.v	Update the code to match the latest HoTT	2017-11-06 15:25:56 +01:00