Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add a couple of zrange lemmas | 2018-06-26 | |
* | Add zrange equality | 2018-06-15 | |
* | Add is_bounded_by_None_repeat_In_iff_lt | 2017-06-20 | |
* | Add is_bounded_by_None_repeat_In_iff | 2017-06-20 | |
* | Fix zrange notation levels | 2017-06-12 | |
* | More powerful inversion_zrange | 2017-04-15 | |
* | Coalesce Tuple.pointwise2 and Tuple.fieldwise | 2017-04-02 | |
* | Add is_tighter_than_bool to zrange | 2017-03-31 | |
* | Use r[_ ~> _] for range rather than b[_ ~> _] | 2017-03-30 | |
* | Rename Bounds to ZRange, use Prop, not bool | 2017-03-30 |