From aba699a7db4e16450600d7272a32b540ef15e5d9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 9 Jun 2011 15:03:11 +0000 Subject: Change linebreaks as Hendrik would like, not wiki formatted(!) --- etc/coq/parsingcheck-410.v | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'etc') 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. -- cgit v1.2.3