diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-06-09 15:03:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-06-09 15:03:11 +0000 |
| commit | aba699a7db4e16450600d7272a32b540ef15e5d9 (patch) | |
| tree | e8f28efae0ecd2ec097d657b8edcb9a926b18521 /etc/coq | |
| parent | bee51985d67c7217f0b60ca37295972015dd64eb (diff) | |
Change linebreaks as Hendrik would like, not wiki formatted(!)
Diffstat (limited to 'etc/coq')
| -rw-r--r-- | etc/coq/parsingcheck-410.v | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/coq/parsingcheck-410.v b/etc/coq/parsingcheck-410.v index 29e84e58..37a7e57f 100644 --- a/etc/coq/parsingcheck-410.v +++ b/etc/coq/parsingcheck-410.v @@ -1 +1,3 @@ -Require Export Coq.Lists.List. Notation "[ ]" := nil : list_scope. Notation "[ a ; .. ; b ]" := (a :: .. (b :: []) ..) : list_scope. +Require Export Coq.Lists.List. +Notation "[ ]" := nil : list_scope. +Notation "[ a ; .. ; b ]" := (a :: .. (b :: []) ..) : list_scope. |