Niels van der Weide d7a95697fb Some cleaning in list representation		2017-09-26 11:56:58 +02:00
..
isomorphism.v	Uses merely decidable equality, added length.	2017-09-21 14:12:51 +02:00
length.v	Moved length	2017-09-07 15:47:46 +02:00
list_representation.v	Some cleaning in list representation	2017-09-26 11:56:58 +02:00
operations.v	Uses merely decidable equality, added length.	2017-09-21 14:12:51 +02:00
properties.v	Uses merely decidable equality, added length.	2017-09-21 14:12:51 +02:00