Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add more interp lemmas | Jason Gross | 2018-08-09 |
* | Add wf_splice_list, wf_splice_list_no_order | Jason Gross | 2018-08-03 |
* | More precise wf_Proper_list_impl | Jason Gross | 2018-07-31 |
* | Comment out wf_splice_list | Jason Gross | 2018-07-31 |
* | Add wf_Proper_list, wf_splice_list | Jason Gross | 2018-07-31 |
* | Add UnderLets.wf_Proper_list | Jason Gross | 2018-07-30 |
* | Add wf_splice | Jason Gross | 2018-07-30 |
* | Integrate Wf and Interp proofs | Jason Gross | 2018-07-30 |