|
|
|
@ -151,14 +151,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -292,15 +284,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -335,14 +327,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -476,15 +460,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -555,14 +539,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -688,15 +664,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -803,7 +779,7 @@
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
},
|
|
|
|
},
|
|
|
|
"impl": {
|
|
|
|
"implementation": {
|
|
|
|
"multiple": false,
|
|
|
|
"multiple": false,
|
|
|
|
"required": true,
|
|
|
|
"required": true,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
@ -823,14 +799,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -964,15 +932,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -1148,15 +1116,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -1196,14 +1164,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -1305,15 +1265,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -1358,14 +1318,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -1499,15 +1451,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -1670,14 +1622,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -1811,15 +1755,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -1915,17 +1859,9 @@
|
|
|
|
]
|
|
|
|
]
|
|
|
|
},
|
|
|
|
},
|
|
|
|
"value": {
|
|
|
|
"value": {
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": false,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -2059,15 +1995,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -2198,7 +2134,7 @@
|
|
|
|
"type": "math_operator",
|
|
|
|
"type": "math_operator",
|
|
|
|
"named": true,
|
|
|
|
"named": true,
|
|
|
|
"fields": {
|
|
|
|
"fields": {
|
|
|
|
"impl": {
|
|
|
|
"implementation": {
|
|
|
|
"multiple": false,
|
|
|
|
"multiple": false,
|
|
|
|
"required": true,
|
|
|
|
"required": true,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
@ -2218,14 +2154,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -2359,15 +2287,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -2436,14 +2364,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -2553,15 +2473,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -2586,14 +2506,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -2727,15 +2639,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -2770,14 +2682,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -2907,15 +2811,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -2940,14 +2844,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -3069,15 +2965,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -3102,14 +2998,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -3215,15 +3103,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -3248,14 +3136,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -3373,15 +3253,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -3406,14 +3286,6 @@
|
|
|
|
"multiple": true,
|
|
|
|
"multiple": true,
|
|
|
|
"required": false,
|
|
|
|
"required": false,
|
|
|
|
"types": [
|
|
|
|
"types": [
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": ",",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "=",
|
|
|
|
|
|
|
|
"named": false
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"type": "acronym_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
@ -3527,15 +3399,15 @@
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "text",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "word",
|
|
|
|
"type": "verbatim_include",
|
|
|
|
"named": true
|
|
|
|
"named": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
]
|
|
|
|
@ -3552,6 +3424,21 @@
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "text",
|
|
|
|
|
|
|
|
"named": true,
|
|
|
|
|
|
|
|
"fields": {},
|
|
|
|
|
|
|
|
"children": {
|
|
|
|
|
|
|
|
"multiple": true,
|
|
|
|
|
|
|
|
"required": false,
|
|
|
|
|
|
|
|
"types": [
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
"type": "word",
|
|
|
|
|
|
|
|
"named": true
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
]
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"type": "theorem_definition",
|
|
|
|
"named": true,
|
|
|
|
"named": true,
|
|
|
|
|