diff options
| -rw-r--r-- | theories/Init/PeanoSyntax.v | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/theories/Init/PeanoSyntax.v b/theories/Init/PeanoSyntax.v index e45df5a16f..f0871f6f3d 100644 --- a/theories/Init/PeanoSyntax.v +++ b/theories/Init/PeanoSyntax.v @@ -64,6 +64,24 @@ Grammar constr constr0 := | natural_nat9 [ "(" "9" ")" ] -> [ 'N: 9 ' ] | natural_nat10 [ "(" "10" ")" ] -> [ 'N: 10 ' ] | natural_nat11 [ "(" "11" ")" ] -> [ 'N: 11 ' ] +| natural_nat12 [ "(" "12" ")" ] -> [ 'N: 12 ' ] +| natural_nat13 [ "(" "13" ")" ] -> [ 'N: 13 ' ] +| natural_nat14 [ "(" "14" ")" ] -> [ 'N: 14 ' ] +| natural_nat15 [ "(" "15" ")" ] -> [ 'N: 15 ' ] +| natural_nat16 [ "(" "16" ")" ] -> [ 'N: 16 ' ] +| natural_nat17 [ "(" "17" ")" ] -> [ 'N: 17 ' ] +| natural_nat18 [ "(" "18" ")" ] -> [ 'N: 18 ' ] +| natural_nat19 [ "(" "19" ")" ] -> [ 'N: 19 ' ] +| natural_nat20 [ "(" "20" ")" ] -> [ 'N: 20 ' ] +| natural_nat21 [ "(" "21" ")" ] -> [ 'N: 21 ' ] +| natural_nat22 [ "(" "22" ")" ] -> [ 'N: 22 ' ] +| natural_nat23 [ "(" "23" ")" ] -> [ 'N: 23 ' ] +| natural_nat24 [ "(" "24" ")" ] -> [ 'N: 24 ' ] +| natural_nat25 [ "(" "25" ")" ] -> [ 'N: 25 ' ] +| natural_nat26 [ "(" "26" ")" ] -> [ 'N: 26 ' ] +| natural_nat27 [ "(" "27" ")" ] -> [ 'N: 27 ' ] +| natural_nat28 [ "(" "28" ")" ] -> [ 'N: 28 ' ] +| natural_nat29 [ "(" "29" ")" ] -> [ 'N: 29 ' ] . Grammar constr pattern := |