1.7.0

clayrat released this 11 Nov 10:55

· 21 commits to master since this release

a654207

remove Program switches in options
switch namespace to pcm to disambiguate with FCSL proper
split out theory of filter/last/index and binary relations to seqext
add a theory of finding the last element by predicate
generalize intervals to arbitrary eqType
generalize sepit_perm and sepitF lemmas to Prop-level predicates
add umpreim_cond, umpreimPt, rangeF & umfilt_predC to unionmap

Assets 2