aboutsummaryrefslogtreecommitdiff
path: root/src/Util/Notations.v
Commit message (Expand)AuthorAge
* Set Asymmetric Patterns, add util lemmas about sigGravatar Jason Gross2016-07-29
* Get rid of unparsable unicode notationGravatar Jason Gross2016-07-28
* Add more reserved notationsGravatar Jason Gross2016-07-28
* Add unicode reserved notationsGravatar Jason Gross2016-07-28
* Move most notation level declarations into UtilGravatar Jason Gross2016-07-27
* Make the library 20% faster: [auto with *] is evilGravatar Jason Gross2016-07-22
* Fix notations, add &Gravatar Jason Gross2016-07-06
* Improve some reserved notationsGravatar Jason Gross2016-07-06
* Improve some tactics and lemmasGravatar Jason Gross2016-06-23
* Fix broken notations (hopefully)Gravatar Jason Gross2016-06-22
* Fix missing notationsGravatar Jason Gross2016-06-22
* Aggregate all level specifications not in Spec/*Gravatar Jason Gross2016-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 08:57:29 +0000