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