Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Set Asymmetric Patterns, add util lemmas about sig | Jason Gross | 2016-07-29 |
* | Get rid of unparsable unicode notation | Jason Gross | 2016-07-28 |
* | Add more reserved notations | Jason Gross | 2016-07-28 |
* | Add unicode reserved notations | Jason Gross | 2016-07-28 |
* | Move most notation level declarations into Util | Jason Gross | 2016-07-27 |
* | Make the library 20% faster: [auto with *] is evil | Jason Gross | 2016-07-22 |
* | Fix notations, add & | Jason Gross | 2016-07-06 |
* | Improve some reserved notations | Jason Gross | 2016-07-06 |
* | Improve some tactics and lemmas | Jason Gross | 2016-06-23 |
* | Fix broken notations (hopefully) | Jason Gross | 2016-06-22 |
* | Fix missing notations | Jason Gross | 2016-06-22 |
* | Aggregate all level specifications not in Spec/* | Jason Gross | 2016-06-22 |