Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove useless comment | Jason Gross | 2017-02-14 |
* | Mostly finish Wf_Boundify | Jason Gross | 2017-02-14 |
* | A bit more progress on BoundByCastWf | Jason Gross | 2017-02-14 |
* | Add src/Reflection/BoundByCastWf.v | Jason Gross | 2017-02-14 |