dan dad6686c4c Make everything work with the new notation

2017-08-08 17:44:27 +02:00

..

interface.v

Get a quotient from an implementation

2017-08-08 17:31:23 +02:00

lists.v

Make everything work with the new notation

2017-08-08 17:44:27 +02:00