aboutsummaryrefslogtreecommitdiff
path: root/src/Reflection/SmartBoundWf.v
Commit message (Expand)AuthorAge
* Switch to fully uncurried form for reflectionGravatar Jason Gross2017-03-01
* Add non-exprf version of interpf_smart_unboundGravatar Jason Gross2017-02-16
* Mostly finish Wf_BoundifyGravatar Jason Gross2017-02-14
* Prove wff_bound_opGravatar Jason Gross2017-02-14
* Stub for wff_bound_opGravatar Jason Gross2017-02-14
* Update assumptions in src/Reflection/SmartBoundWf.vGravatar Jason Gross2017-02-14
* Add SmartBoundWfGravatar Jason Gross2017-02-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 03:35:40 +0000