add a function to obtain a set with all elements of a finite type
Merged
add a function to obtain a set with all elements of a finite type
ralf/fin_to_set
into
master
2 unresolved threads
2 unresolved threads
Compare changes