aboutsummaryrefslogtreecommitdiff
path: root/src/Util/Notations.v
Commit message (Expand)AuthorAge
* Update notations from zetabaseGravatar Jason Gross2017-01-19
* Remove the Const constructor of exprfGravatar Jason Gross2017-01-19
* Add >>> reserved notationGravatar Jason Gross2017-01-09
* Fix compatibility with sigT notationGravatar Jason Gross2016-10-10
* Revert "Add a locked version of [let] with fewer reductions"Gravatar Jason Gross2016-09-22
* Add a form of Let_In that carries a proofGravatar Jason Gross2016-09-22
* Add a locked version of [let] with fewer reductionsGravatar Jason Gross2016-09-22
* Change [Let ... in ...] to [dlet ... in ...] (#67)Gravatar Jason Gross2016-09-19
* Util.Notations: change Let to match slet\Gravatar Andres Erbsen2016-09-18
* Add reserved notation for Let, change #Gravatar Jason Gross2016-09-17
* deduplicate Let_In into src/Util/LetIn.vGravatar Andres Erbsen2016-09-17
* Add λn reserved notationGravatar Jason Gross2016-09-16
* Reserve [->] like in 8.5, so we can redefine it in 8.4Gravatar Jason Gross2016-09-05
* Reserve λ notationGravatar Jason Gross2016-09-02
* Add reserved syntax-let notationGravatar Jason Gross2016-09-02
* Add another reserved notationGravatar Jason Gross2016-09-01
* Add more reserved infixesGravatar Jason Gross2016-08-31
* Integrate suggestions from AndresGravatar Jason Gross2016-08-25
* Add more reserved notationsGravatar Jason Gross2016-08-24
* Remove unnecessary pseudo notations (#47)Gravatar Rob Sloan2016-08-08
* 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-15 23:59:34 +0000