diff options
Diffstat (limited to 'bootstrap')
| -rw-r--r-- | bootstrap/Monads.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bootstrap/Monads.v b/bootstrap/Monads.v index 6aae038b0a..4c800d48c6 100644 --- a/bootstrap/Monads.v +++ b/bootstrap/Monads.v @@ -1,7 +1,5 @@ (* -*- coq-prog-args: ("-emacs-U" "-impredicative-set") -*- *) -(* arnaud: on ne doit pas en avoir besoin normalement. *) - Reserved Notation "'do' M x ':=' e 'in' u" (at level 200, M at level 0, x ident, e at level 200, u at level 200). (*Reserved Notation "'do' e ; u" (at level 200, e at level 200, u at level 200).*) |