diff options
Diffstat (limited to 'coq/ex/indent.v')
| -rw-r--r-- | coq/ex/indent.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/ex/indent.v b/coq/ex/indent.v index cd263810..c146f61d 100644 --- a/coq/ex/indent.v +++ b/coq/ex/indent.v @@ -43,7 +43,7 @@ Module foo. : nat -> Prop := C31 : forall n, test3 n | C32 : forall n, test3 n. - + End foo. Lemma toto:nat. |