+363

assets/isabelle_hol.svg

reviewed

··· 1 1 + <?xml version="1.0" encoding="UTF-8" standalone="no"?> 2 2 + <svg 3 3 + xmlns:dc="http://purl.org/dc/elements/1.1/" 4 4 + xmlns:cc="http://creativecommons.org/ns#" 5 5 + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 6 6 + xmlns:svg="http://www.w3.org/2000/svg" 7 7 + xmlns="http://www.w3.org/2000/svg" 8 8 + version="1.1" 9 9 + width="582.80573" 10 10 + height="519.86389" 11 11 + id="svg13549"> 12 12 + <defs 13 13 + id="defs13551" /> 14 14 + <metadata 15 15 + id="metadata13554"> 16 16 + <rdf:RDF> 17 17 + <cc:Work 18 18 + rdf:about=""> 19 19 + <dc:format>image/svg+xml</dc:format> 20 20 + <dc:type 21 21 + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> 22 22 + <dc:title></dc:title> 23 23 + </cc:Work> 24 24 + </rdf:RDF> 25 25 + </metadata> 26 26 + <g 27 27 + transform="translate(-83.035004,-266.60801)" 28 28 + id="layer1"> 29 29 + <path 30 30 + d="m 512.3913,390.68749 91.71878,40.19475 -60.65321,53.65516 -59.69976,-27.07561 -0.50567,-43.67372 z" 31 31 + id="rect9114-6-7-2" 32 32 + style="fill:#fff000;fill-opacity:1;stroke:none" /> 33 33 + <path 34 34 + d="m 603.33647,430.54925 -59.78421,52.28831 v 95.51943 l 8.14537,1.50967 49.15192,-47.24787 z" 35 35 + id="rect8567-7-3-9-7-4" 36 36 + style="fill:#f89c0e;fill-opacity:1;stroke:none" /> 37 37 + <path 38 38 + d="m 397.0725,345.95698 86.51471,39.0796 -57.47673,53.00299 -92.86147,-39.92919 z" 39 39 + id="rect9114-6-7" 40 40 + style="fill:#fff000;fill-opacity:1;stroke:none" /> 41 41 + <path 42 42 + d="m 482.31356,385.69483 -56.55822,51.47336 -1.98251,58.60061 23.0141,11.3646 c 87.42069,35.74188 23.68441,-17.12548 35.52663,-25.68823 z" 43 43 + id="rect8567-7-3-9-7" 44 44 + style="fill:#f89c0e;fill-opacity:1;stroke:none" /> 45 45 + <path 46 46 + d="m 333.48247,395.51544 92.64083,41.25393 v 61.22994 l -12.02917,-6.41533 -30.41096,21.5912 -48.79886,-18.75529 z" 47 47 + id="rect8567-9-3" 48 48 + style="fill:#fbc707;fill-opacity:1;stroke:none" /> 49 49 + <path 50 50 + d="m 413.04296,490.81235 83.21326,39.98582 -65.19735,57.78102 -84.35231,-37.61041 z" 51 51 + id="rect9114-6" 52 52 + style="fill:#fff000;fill-opacity:1;stroke:none" /> 53 53 + <path 54 54 + d="m 496.63662,530.3642 -65.65114,58.08677 -0.7123,95.48173 65.85903,-55.84978 z" 55 55 + id="rect8567-7-3-9" 56 56 + style="fill:#f89c0e;fill-opacity:1;stroke:none" /> 57 57 + <path 58 58 + d="m 346.74794,549.57322 84.28767,38.83562 v 95.22807 l -85.27894,-37.81253 z" 59 59 + id="rect8567-9" 60 60 + style="fill:#fbc707;fill-opacity:1;stroke:none" /> 61 61 + <path 62 62 + d="m 483.94324,478.4691 -0.36119,-19.61016 8.05958,2.17134 49.97968,25.31226 -48.53859,43.91141 -45.23677,-21.36756 z" 63 63 + id="rect8567-7-0-2-5" 64 64 + style="fill:#d7705a;fill-opacity:1;stroke:none" /> 65 65 + <path 66 66 + d="m 541.25576,484.48998 -48.57784,44.28385 2.96068,1.01572 2.3293,81.87701 43.34431,-34.48218 z" 67 67 + id="rect8567-7-3-2-6-8" 68 68 + style="fill:#be161c;fill-opacity:1;stroke:none" /> 69 69 + <path 70 70 + d="m 603.4907,529.34166 -0.44259,-23.97905 61.27326,27.17777 -59.29138,56.05874 -40.50555,-20.14094 z" 71 71 + id="rect8567-7-0-2-9" 72 72 + style="fill:#d7705a;fill-opacity:1;stroke:none" /> 73 73 + <path 74 74 + d="m 661.57067,532.19333 -58.76819,52.39378 -0.12393,99.76805 58.58929,-51.82991 z" 75 75 + id="rect8567-7-3-2-6" 76 76 + style="fill:#be161c;fill-opacity:1;stroke:none" /> 77 77 + <path 78 78 + d="m 540.65976,577.05074 8.0486,3.19032 16.06614,-14.70942 38.49858,19.13014 v 98.58304 C 574.84975,666.94288 582.7842,674.77548 554.0064,659.10491 l -1.15528,-29.00904 -46.91916,-22.99464 z" 79 79 + id="rect8567-7-0-8" 80 80 + style="fill:#ce4e33;fill-opacity:1;stroke:none" /> 81 81 + <path 82 82 + d="m 354.97642,779.86311 0.0472,-111.78758" 83 83 + transform="matrix(1.0680649,0.03325035,4.5061323e-4,0.84385781,224.28481,9.9317178)" 84 84 + id="path14272-8-5-2" 85 85 + style="fill:none;stroke:#940808;stroke-width:5.26672;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 86 86 + <g 87 87 + aria-label="α" 88 88 + transform="matrix(0.94592587,0.48665862,0,1.0571653,0,0)" 89 89 + id="text4644-9-3" 90 90 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:74.175px;line-height:125%;font-family:'TeX Gyre Pagella';-inkscape-font-specification:'TeX Gyre Pagella';letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none"> 91 91 + <path 92 92 + d="m 565.5018,319.49596 c 0.44505,2.44778 2.22524,5.71147 4.00544,5.71147 3.04118,0 5.26643,-1.48349 7.34333,-3.18952 2.81865,-2.6703 5.71147,-6.00817 7.71419,-8.6043 2.22525,7.7142 5.26643,11.79382 8.23343,11.79382 1.70602,0 3.85709,-1.26097 6.08234,-3.41204 l 3.2637,-3.2637 -0.96427,-1.40933 c -2.44778,2.29943 -4.22798,2.89283 -5.48895,2.89283 -1.1868,0 -2.15107,-0.22253 -3.18952,-1.63185 -0.96428,-1.40933 -2.44778,-4.52468 -3.18953,-6.74993 l -1.1868,-3.48622 c 1.85438,-2.967 3.5604,-6.2307 4.37633,-7.86255 0.81592,-1.55767 2.96699,-6.00817 3.11534,-7.49167 -0.5934,-0.81592 -1.03845,-1.4835 -1.63184,-2.59612 -0.2967,-0.14835 -0.96428,-0.37088 -1.26098,-0.51923 -0.74175,6.15653 -1.40932,8.23342 -3.48622,12.60975 -0.22253,0.44505 -1.1868,2.29942 -1.85438,3.5604 l -4.59885,-13.57402 c -1.26097,-3.33788 -3.48622,-3.63458 -5.11807,-3.63458 -1.70602,0.0742 -4.07962,1.33515 -6.2307,3.63458 -1.63185,1.63185 -2.74447,3.5604 -3.70875,5.85982 -2.29942,6.60157 -3.26369,15.42839 -2.22524,21.36239 z m 5.48894,-2.44777 c -0.81592,-4.7472 -0.96427,-12.7581 0.51923,-18.91462 0.5934,-2.44777 2.15107,-4.59885 3.8571,-4.59885 2.29942,0 3.33787,1.33515 4.37632,4.59885 l 4.07962,12.98062 c -1.7802,2.52195 -3.63457,4.7472 -5.34059,6.30487 -2.0769,1.92855 -4.1538,2.59613 -5.56313,2.59613 -0.96427,0 -1.55767,-1.03845 -1.92855,-2.967 z" 93 93 + id="path1241" /> 94 94 + </g> 95 95 + <path 96 96 + d="m 496.63373,624.56756 1.21588,-12.42574 8.76049,-4.48739 48.05216,23.73519 -58.17622,59.15639 -45.08643,-26.92724 z" 97 97 + id="rect8567-7-0-2" 98 98 + style="fill:#d7705a;fill-opacity:1;stroke:none" /> 99 99 + <path 100 100 + d="m 553.18646,629.34 -57.03349,51.1151 -0.61953,101.77726 58.7044,-57.10655 z" 101 101 + id="rect8567-7-3-2" 102 102 + style="fill:#be161c;fill-opacity:1;stroke:none" /> 103 103 + <path 104 104 + d="m 404.19947,672.19261 26.52971,10.95712 24.13185,-23.77283 41.65271,20.72481 v 101.11612 l -92.31169,-42.46424 z" 105 105 + id="rect8567-7-0" 106 106 + style="fill:#ce4e33;fill-opacity:1;stroke:none" /> 107 107 + <path 108 108 + d="m 354.97642,779.86311 0.0472,-111.78758" 109 109 + transform="matrix(1.0680649,0.03325035,4.5061323e-4,0.84385781,116.76073,107.66685)" 110 110 + id="path14272-8-5" 111 111 + style="fill:none;stroke:#9f2929;stroke-width:5.26672;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 112 112 + <path 113 113 + d="m 313.16647,444.66282 17.9485,9.98809 -0.0852,34.13979 52.49349,28.82342 -35.5362,36.01647 -95.17469,-47.06166 z" 114 114 + id="rect9114-42" 115 115 + style="fill:#c8bee4;fill-opacity:1;stroke:none" /> 116 116 + <path 117 117 + d="m 253.34907,502.02211 96.2636,43.04662 0.50335,59.39544 -23.25667,-12.66856 -26.3485,23.50605 -46.98656,-22.5295 z" 118 118 + id="rect8567-8" 119 119 + style="fill:#9c8dce;fill-opacity:1;stroke:none" /> 120 120 + <path 121 121 + d="m 325.89935,592.10601 21.27788,10.01312 1.91744,41.89994 33.88065,15.24447 -27.28695,26.33995 -88.86643,-37.42401 z" 122 122 + id="rect9114-4" 123 123 + style="fill:#c8bee4;fill-opacity:1;stroke:none" /> 124 124 + <path 125 125 + d="m 239.88726,553.543 13.91824,5.9578 -0.0852,34.1398 45.87878,23.02474 -30.76143,36.55824 -92.63387,-42.41805 z" 126 126 + id="rect9114" 127 127 + style="fill:#c8bee4;fill-opacity:1;stroke:none" /> 128 128 + <path 129 129 + d="m 270.70262,646.10178 84.13775,38.18816 v 99.75102 c -28.42336,-16.30193 -55.35992,-24.73837 -84.13775,-40.40895 z" 130 130 + id="rect8567-7" 131 131 + style="fill:#9c8dce;fill-opacity:1;stroke:none" /> 132 132 + <path 133 133 + d="m 381.43462,659.41256 -27.01103,24.60672 v 98.86545 l 51.84537,-43.78177 -0.31241,-65.73475 z" 134 134 + id="rect8567-7-3" 135 135 + style="fill:#42386d;fill-opacity:1;stroke:none" /> 136 136 + <path 137 137 + d="m 354.97642,779.86311 0.0472,-111.78758" 138 138 + transform="matrix(1.0680649,0.03325035,4.5061323e-4,0.84385781,-24.821129,108.52891)" 139 139 + id="path14272-8" 140 140 + style="fill:none;stroke:#593e6a;stroke-width:5.26672;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 141 141 + <path 142 142 + d="m 175.45284,608.0143 93.37233,43.07259 -1.46293,92.68001 -13.55674,0.72621 -78.35266,-41.80476 z" 143 143 + id="rect8567" 144 144 + style="fill:#9c8dce;fill-opacity:1;stroke:none" /> 145 145 + <g 146 146 + transform="matrix(3.4157835,0,0,3.4157835,-543.12322,-747.81068)" 147 147 + id="g4628"> 148 148 + <path 149 149 + d="m 267.59375,390.94199 v 13.125 l 1.5,0.61602 v -13.125 z" 150 150 + id="path1648" 151 151 + style="color:#000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:medium;line-height:normal;font-family:Sans;-inkscape-font-specification:Sans;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;letter-spacing:normal;word-spacing:normal;text-transform:none;writing-mode:lr-tb;direction:ltr;baseline-shift:baseline;text-anchor:start;display:inline;overflow:visible;visibility:visible;fill:#231f20;fill-opacity:1;stroke:none;stroke-width:1.5;marker:none;enable-background:accumulate" /> 152 152 + <path 153 153 + d="m 268.96875,396.87058 -0.0156,1.68749 10.03125,4.75 -0.0156,-1.68749 z" 154 154 + id="path1650" 155 155 + style="color:#000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:medium;line-height:normal;font-family:Sans;-inkscape-font-specification:Sans;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;letter-spacing:normal;word-spacing:normal;text-transform:none;writing-mode:lr-tb;direction:ltr;baseline-shift:baseline;text-anchor:start;display:inline;overflow:visible;visibility:visible;fill:#231f20;fill-opacity:1;stroke:none;stroke-width:1.5;marker:none;enable-background:accumulate" /> 156 156 + </g> 157 157 + <g 158 158 + transform="matrix(2.8036733,0,0,2.8036733,-386.24828,-506.22786)" 159 159 + id="g4632"> 160 160 + <path 161 161 + d="m 236.6054,374.04877 -0.0173,1.87384 15.61542,7.426 -0.0173,-1.87384 z" 162 162 + id="path1650-4" 163 163 + style="color:#000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:medium;line-height:normal;font-family:Sans;-inkscape-font-specification:Sans;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;letter-spacing:normal;word-spacing:normal;text-transform:none;writing-mode:lr-tb;direction:ltr;baseline-shift:baseline;text-anchor:start;display:inline;overflow:visible;visibility:visible;fill:#231f20;fill-opacity:1;stroke:none;stroke-width:1.5;marker:none;enable-background:accumulate" /> 164 164 + <path 165 165 + d="m 236.6054,381.71767 -0.0173,1.87384 15.61542,7.426 -0.0173,-1.87384 z" 166 166 + id="path1650-4-6" 167 167 + style="color:#000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:medium;line-height:normal;font-family:Sans;-inkscape-font-specification:Sans;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;letter-spacing:normal;word-spacing:normal;text-transform:none;writing-mode:lr-tb;direction:ltr;baseline-shift:baseline;text-anchor:start;display:inline;overflow:visible;visibility:visible;fill:#231f20;fill-opacity:1;stroke:none;stroke-width:1.5;marker:none;enable-background:accumulate" /> 168 168 + </g> 169 169 + <text 170 170 + x="216.63254" 171 171 + y="442.97165" 172 172 + transform="matrix(0.92733873,0.42936984,-0.14430118,1.0115413,0,0)" 173 173 + id="text3630-9" 174 174 + xml:space="preserve" 175 175 + style="font-style:normal;font-weight:normal;font-size:74.2908px;line-height:125%;font-family:Sans;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none"><tspan 176 176 + x="216.63254" 177 177 + y="442.97165" 178 178 + id="tspan3632-2" 179 179 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'TeX Gyre Pagella';-inkscape-font-specification:'TeX Gyre Pagella'" /></text> 180 180 + <g 181 181 + aria-label="A" 182 182 + transform="matrix(-1.0033569,-0.47426264,-0.01242653,-1.0025281,0,0)" 183 183 + id="text4640" 184 184 + style="font-style:normal;font-weight:normal;font-size:78.1282px;line-height:125%;font-family:Sans;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none"> 185 185 + <path 186 186 + d="m -370.8915,-309.62561 -10.4527,28.34437 h 20.94355 z m -4.34894,-7.59157 h 8.73602 l 21.70653,56.9558 h -8.01119 l -5.18821,-14.6109 h -25.67398 l -5.1882,14.6109 h -8.12564 z" 187 187 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'Droid Sans';-inkscape-font-specification:'Droid Sans'" 188 188 + id="path1232" /> 189 189 + </g> 190 190 + <g 191 191 + aria-label="β" 192 192 + transform="matrix(0.95142086,0.47582633,0.01207069,1.0570964,0,0)" 193 193 + id="text4644" 194 194 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:67.1487px;line-height:125%;font-family:'TeX Gyre Pagella';-inkscape-font-specification:'TeX Gyre Pagella';letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none"> 195 195 + <path 196 196 + d="m 309.85299,521.2601 0.26859,43.10949 1.14153,0.53719 c 1.67872,-0.53719 2.21591,-0.87293 4.16322,-1.14153 -0.60434,-5.97624 -1.61157,-13.56404 -1.41012,-18.80165 3.02169,1.47728 5.77479,2.08162 9.40082,2.08162 10.7438,0 18.06301,-7.38637 16.31714,-16.51859 -0.67148,-3.49174 -2.21591,-5.43905 -5.03615,-7.18492 -1.94732,-1.20868 -3.62603,-1.81301 -7.11777,-2.6188 l -0.0671,-0.33574 c 0,-0.87294 0.33575,-1.67872 1.20868,-3.08884 0.20145,-0.2686 0.47004,-0.67149 0.60434,-0.94009 3.55888,-5.2376 4.56611,-7.31921 3.89463,-11.01239 -0.73864,-3.69318 -4.23038,-6.78202 -7.85641,-6.78202 -2.88739,0 -7.5878,2.14876 -11.07954,5.1033 -3.49173,2.8874 -4.02892,5.2376 -4.16322,9.19938 z m 4.36466,13.89979 0.67149,-14.30268 c 0.20145,-6.78202 0.40289,-11.95248 0.60434,-13.42975 0.60434,-3.49173 3.22314,-5.50619 6.71487,-5.50619 3.49174,0 6.31198,2.3502 7.05062,5.77479 0.53719,2.95454 -0.20145,4.70041 -3.02169,9.93801 -1.67872,1.67872 -2.7531,2.55165 -5.6405,2.55165 -0.60434,0 -1.27582,0 -1.54442,-0.0671 -0.53719,-0.0671 -0.87293,-0.0671 -1.61157,-0.0671 l -0.67148,2.8874 0.53718,0.80578 c 2.41736,-0.87293 3.55889,-1.07438 5.23761,-1.07438 6.11053,0 10.13946,2.61881 11.21384,8.32645 0.80578,4.09607 -0.0672,8.12499 -2.41736,10.87809 -1.54442,1.94732 -3.82748,2.8874 -6.84917,2.8874 -5.30475,0 -9.13223,-2.7531 -10.00516,-7.18492 -0.0671,-0.67148 -0.20145,-1.34297 -0.2686,-2.41735 z" 197 197 + id="path1238" /> 198 198 + </g> 199 199 + <g 200 200 + aria-label="λ" 201 201 + transform="matrix(0.94592587,0.48665862,0,1.0571653,0,0)" 202 202 + id="text4644-9" 203 203 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:74.175px;line-height:125%;font-family:'TeX Gyre Pagella';-inkscape-font-specification:'TeX Gyre Pagella';letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none"> 204 204 + <path 205 205 + d="m 210.91093,558.61036 1.85438,1.63185 c 1.26097,-0.66757 2.29942,-1.03845 4.07962,-1.63185 3.93127,-11.20042 6.2307,-18.02452 13.0548,-30.11504 l 10.82954,29.44747 c 0.44505,1.26097 1.4835,2.0769 2.74448,2.0769 1.92855,0 4.45049,-1.63185 10.90372,-6.97245 l -0.96428,-1.33515 -1.7802,1.26097 c -2.00272,1.4835 -3.70875,2.22525 -4.37632,2.22525 -0.2967,0 -0.5934,0 -1.70602,-1.40932 -0.74175,-0.8901 -1.4835,-2.6703 -2.6703,-5.19225 l -9.64275,-25.88706 c -3.8571,-10.3845 -7.49167,-15.65092 -11.2746,-16.09597 -1.7802,1.63185 -4.52467,3.48622 -6.00817,4.52467 l 0.0742,1.7802 c 1.40932,-0.51923 3.56039,-1.40933 4.22797,-1.40933 2.0769,0 4.67302,3.33788 6.2307,7.64003 l 2.52195,6.89827 c -5.19225,8.0109 -15.1317,26.62881 -18.0987,32.56281 z" 206 206 + id="path1235" /> 207 207 + </g> 208 208 + <text 209 209 + x="444.88138" 210 210 + y="493.30414" 211 211 + transform="matrix(0.94592587,0.43528282,0,1.0571653,0,0)" 212 212 + id="text4644-8" 213 213 + xml:space="preserve" 214 214 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:67.1487px;line-height:125%;font-family:'TeX Gyre Pagella';-inkscape-font-specification:'TeX Gyre Pagella';letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none"><tspan 215 215 + x="444.88138" 216 216 + y="493.30414" 217 217 + id="tspan4646-1">→</tspan></text> 218 218 + <g 219 219 + transform="matrix(0.69382762,-0.76328282,0.48011419,0.91310446,0,0)" 220 220 + id="text1654" 221 221 + style="font-size:35.3676px"> 222 222 + <path 223 223 + d="m -181.66016,510.86905 c 0.39521,-4.85047 0.68265,-10.0782 0.8623,-15.68321 0.21557,-5.60498 0.32336,-12.91661 0.32337,-21.93494 -1e-5,-8.73081 -0.1078,-16.04245 -0.32337,-21.93493 -0.17965,-5.9283 -0.46709,-11.20992 -0.8623,-15.8449 1.58088,0.21566 3.16178,0.3953 4.74269,0.53895 1.61681,0.10786 3.23363,0.16175 4.85047,0.16168 1.61681,7e-5 3.21567,-0.0538 4.79659,-0.16168 1.58087,-0.14365 3.1438,-0.32329 4.68879,-0.53895 -0.43118,4.70683 -0.75455,10.02439 -0.9701,15.95269 -0.17967,5.92841 -0.26949,13.20412 -0.26947,21.82714 -2e-5,9.37762 0.0898,16.85094 0.26947,22.41999 0.21555,5.53314 0.52095,10.59919 0.91621,15.19816 -1.76057,-0.17965 -3.43129,-0.3054 -5.01216,-0.37726 -1.54499,-0.10779 -3.0181,-0.16168 -4.41933,-0.16168 -1.47312,0 -3.00012,0.0539 -4.581,0.16168 -1.54498,0.0719 -3.2157,0.19761 -5.01216,0.37726" 224 224 + id="path3118" 225 225 + style="font-variant:normal;font-weight:bold;font-size:110.375px;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT';writing-mode:lr-tb;fill:#231f20;fill-opacity:1;fill-rule:nonzero;stroke:none" /> 226 226 + <path 227 227 + d="m -147.46409,495.72478 h 1.56293 c 1.18566,3.62889 3.01806,6.43138 5.49721,8.4075 2.51504,1.97612 5.42533,2.96418 8.73086,2.96418 2.62282,0 4.65283,-0.64673 6.09004,-1.9402 1.43715,-1.29345 2.15574,-3.10788 2.15577,-5.44331 -3e-5,-2.98213 -3.55705,-5.94631 -10.67105,-8.89254 -0.97012,-0.3952 -1.70667,-0.7006 -2.20966,-0.9162 -5.06607,-2.11982 -8.56919,-4.29355 -10.50937,-6.5212 -1.90427,-2.26353 -2.8564,-5.13788 -2.85639,-8.62307 -10e-6,-5.38938 1.83239,-9.73684 5.4972,-13.04239 3.70072,-3.30546 8.60509,-4.95822 14.71312,-4.95827 2.8384,5e-5 5.56903,0.39528 8.19191,1.18567 2.62282,0.75457 5.19177,1.90432 7.70687,3.44923 -0.75455,1.68873 -1.40128,3.39538 -1.94019,5.11995 -0.53898,1.72466 -0.97013,3.4852 -1.29346,5.28163 h -1.07788 c -1.61686,-3.37733 -3.52112,-5.91035 -5.71279,-7.59908 -2.15579,-1.68864 -4.59899,-2.53298 -7.32961,-2.53303 -2.2995,5e-5 -4.20376,0.64678 -5.71278,1.94019 -1.47312,1.25758 -2.20968,2.89237 -2.20966,4.90437 -2e-5,1.6528 0.53892,3.03608 1.61682,4.14986 1.07787,1.07792 3.66479,2.40731 7.76077,3.98817 8.01223,3.12589 13.00642,5.80263 14.98258,8.03023 2.01201,2.22765 3.01803,5.17387 3.01808,8.83865 -5e-5,5.60501 -1.94023,10.15008 -5.82057,13.63523 -3.84449,3.44923 -8.89257,5.17384 -15.14427,5.17384 -3.44925,0 -6.50325,-0.35929 -9.16202,-1.07788 -2.65879,-0.68266 -5.08402,-1.76054 -7.27571,-3.23365 0.17964,-1.32939 0.57486,-4.76065 1.18567,-10.29379 l 0.21558,-1.99409" 228 228 + id="path3120" 229 229 + style="font-variant:normal;font-weight:bold;font-size:110.375px;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT';writing-mode:lr-tb;fill:#231f20;fill-opacity:1;fill-rule:nonzero;stroke:none" /> 230 230 + <path 231 231 + d="m -72.498557,503.9167 c -1.580928,2.65878 -3.664835,4.70676 -6.251726,6.14394 -2.551017,1.43717 -5.443335,2.15576 -8.676965,2.15576 -4.634914,0 -8.281751,-1.36532 -10.940521,-4.09595 -2.622851,-2.76657 -3.934281,-6.52119 -3.934271,-11.26389 -10e-6,-3.48514 0.93416,-6.3595 2.802493,-8.62307 1.868324,-2.26353 4.796572,-4.06 8.784753,-5.38942 1.293444,-0.43113 3.161774,-1.02396 5.604996,-1.77851 5.748687,-1.72458 9.682959,-3.30548 11.802828,-4.74269 0.0359,-0.21554 0.05386,-0.44908 0.0539,-0.70062 0.0359,-0.2874 0.05386,-0.68263 0.05389,-1.18567 -3.3e-5,-3.3414 -0.952163,-6.00018 -2.856392,-7.97635 -1.90429,-1.97607 -4.437314,-2.96413 -7.599082,-2.96418 -2.479152,5e-5 -4.742706,0.70068 -6.790668,2.10188 -2.012063,1.40129 -3.880393,3.53909 -5.604996,6.41341 -0.538951,-1.72458 -0.988069,-3.10786 -1.347354,-4.14986 -0.359303,-1.04191 -0.718598,-2.012 -1.077884,-2.91028 3.26957,-2.83838 6.503218,-4.94025 9.700954,-6.30562 3.197702,-1.4012 6.521174,-2.10182 9.970426,-2.10188 6.610987,6e-5 11.677036,1.52706 15.198162,4.58101 3.556971,3.05405 5.335477,7.41948 5.335525,13.09629 v 0.53894 l -0.323365,19.24023 v 2.10187 c -4.8e-5,4.49119 0.485,7.38351 1.455143,8.67697 1.005975,1.25753 2.946164,1.8863 5.820573,1.88629 h 0.323365 v 2.74861 c -1.868385,0.79044 -3.808574,1.38328 -5.820573,1.7785 -2.012097,0.43116 -3.934321,0.64673 -5.766678,0.64673 -2.658821,0 -4.832552,-0.66469 -6.521198,-1.99408 -1.68872,-1.36532 -2.820497,-3.34144 -3.395334,-5.92836 m -0.485047,-22.09662 c -5.102012,1.04198 -8.784778,2.62288 -11.04831,4.74269 -2.263576,2.11986 -3.395353,5.06607 -3.395334,8.83865 -1.9e-5,3.1618 0.574852,5.53314 1.724614,7.11403 1.149721,1.5809 2.856369,2.37135 5.119948,2.37134 2.443176,10e-6 4.311506,-0.88026 5.604996,-2.64081 1.329358,-1.76053 1.994052,-4.29356 1.994086,-7.59908 v -12.82682" 232 232 + id="path3122" 233 233 + style="font-variant:normal;font-weight:bold;font-size:110.375px;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT';writing-mode:lr-tb;fill:#231f20;fill-opacity:1;fill-rule:nonzero;stroke:none" /> 234 234 + <path 235 235 + d="m -17.028484,463.28048 c -3.844482,5e-5 -6.611047,1.72466 -8.299705,5.17384 -1.652779,3.41334 -2.479156,9.2339 -2.479133,17.46172 -2.3e-5,7.61706 0.77246,13.00648 2.31745,16.16826 1.54494,3.12586 4.113894,4.68879 7.70687,4.68879 3.916274,0 6.71877,-1.76054 8.4074935,-5.28163 1.688642,-3.557 2.5329835,-9.55722 2.533027,-18.00066 -4.35e-5,-7.36551 -0.7904909,-12.57527 -2.3713445,-15.62932 -1.545006,-3.05395 -4.14989,-4.58095 -7.814658,-4.581 m -26.030895,47.58857 c 0.395217,-4.81454 0.682652,-10.45546 0.862308,-16.92278 0.179639,-6.50321 0.269462,-14.65919 0.26947,-24.46796 -8e-6,-9.80869 -0.08983,-17.94671 -0.26947,-24.41407 -0.179656,-6.50316 -0.467091,-12.16204 -0.862308,-16.97667 1.832394,0.28752 3.377359,0.48513 4.634901,0.59284 1.293447,0.10787 2.515048,0.16176 3.664805,0.16168 1.149726,8e-5 2.371327,-0.0538 3.664805,-0.16168 1.32937,-0.14364 2.820441,-0.34125 4.473218,-0.59284 -0.179671,3.37745 -0.323389,6.48534 -0.431154,9.3237 -0.07188,2.80256 -0.107811,5.51524 -0.107788,8.13802 v 17.94676 c 2.012025,-2.37129 4.221684,-4.0959 6.628986,-5.17384 2.407241,-1.11376 5.281595,-1.67066 8.62307,-1.67072 6.4313291,6e-5 11.55127227,2.35343 15.3598451,7.06014 3.8084653,4.7068 5.7127249,11.04835 5.7127844,19.02465 -5.95e-5,9.01831 -2.2636133,16.2042 -6.7906682,21.55768 -4.4912309,5.35349 -10.5094096,8.03023 -18.0545543,8.03023 -3.233683,0 -6.108037,-0.6108 -8.623071,-1.8324 -2.515086,-1.2216 -4.904392,-3.16179 -7.167927,-5.82057 -1.868349,0.89824 -3.592962,1.86833 -5.173843,2.91028 -1.580908,1.00603 -3.054015,2.10188 -4.419323,3.28755 h -1.994086" 236 236 + id="path3124" 237 237 + style="font-variant:normal;font-weight:bold;font-size:110.375px;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT';writing-mode:lr-tb;fill:#231f20;fill-opacity:1;fill-rule:nonzero;stroke:none" /> 238 238 + <path 239 239 + d="m 32.866288,484.62258 c -1.9e-5,6.35953 1.509017,11.40762 4.527112,15.14427 3.053978,3.73667 7.149932,5.605 12.287876,5.60499 2.550953,10e-6 4.994154,-0.43115 7.32961,-1.29346 2.335369,-0.8623 4.598923,-2.17372 6.790668,-3.93428 l 1.077884,0.80842 -2.425238,6.25172 c -2.299533,1.61683 -5.012204,2.8564 -8.138023,3.7187 -3.089972,0.86231 -6.449373,1.29346 -10.078214,1.29346 -8.587164,0 -15.323931,-2.53302 -20.210322,-7.59908 -4.850483,-5.06604 -7.275719,-12.07228 -7.275716,-21.01873 -3e-6,-8.04817 2.425233,-14.55139 7.275716,-19.5097 4.850462,-4.95821 11.263864,-7.43734 19.240226,-7.4374 7.581079,6e-5 13.383681,2.10193 17.407824,6.30562 4.059978,4.20379 6.089991,10.23994 6.090044,18.10845 -5.3e-5,0.9342 -0.01802,1.65278 -0.05389,2.15577 -5.3e-5,0.50304 -0.01802,0.95216 -0.0539,1.34735 l -33.791658,0.0539 m 0,-5.44332 h 18.701285 c -3.8e-5,-0.39519 0.01793,-0.88024 0.05389,-1.45514 0.03589,-0.61077 0.05386,-1.00599 0.05389,-1.18567 -3.8e-5,-4.99416 -0.736591,-8.76675 -2.209662,-11.31778 -1.437213,-2.55095 -3.575013,-3.82644 -6.413409,-3.82649 -3.233677,5e-5 -5.748737,1.45519 -7.545186,4.36543 -1.760564,2.91033 -2.640835,7.06018 -2.640816,12.44956 v 0.97009" 240 240 + id="path3126" 241 241 + style="font-variant:normal;font-weight:bold;font-size:110.375px;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT';writing-mode:lr-tb;fill:#231f20;fill-opacity:1;fill-rule:nonzero;stroke:none" /> 242 242 + <path 243 243 + d="m 76.597759,510.86905 c 0.287429,-6.21579 0.503005,-12.70105 0.64673,-19.4558 0.143711,-6.75472 0.215569,-13.9945 0.215577,-21.71936 -8e-6,-8.19187 -0.07187,-15.66519 -0.215577,-22.41999 -0.143725,-6.7906 -0.359301,-13.18603 -0.64673,-19.18633 1.760535,0.28752 3.269571,0.48513 4.527112,0.59284 1.257519,0.10787 2.479119,0.16176 3.664805,0.16168 1.185656,8e-5 2.443186,-0.0538 3.772594,-0.16168 1.32937,-0.14364 2.820441,-0.34125 4.473218,-0.59284 -0.287459,6.21587 -0.503036,12.70113 -0.646731,19.4558 -0.14374,6.7548 -0.215599,13.99458 -0.215576,21.71936 -2.3e-5,8.19195 0.07184,15.68324 0.215576,22.47388 0.143695,6.75475 0.359272,13.13223 0.646731,19.13244 -1.221624,-0.25151 -2.515083,-0.43115 -3.880382,-0.53894 -1.365338,-0.14372 -2.78455,-0.21558 -4.257641,-0.21558 -1.473122,0 -2.892334,0.0719 -4.257642,0.21558 -1.365329,0.10779 -2.712682,0.28743 -4.042064,0.53894" 244 244 + id="path3128" 245 245 + style="font-variant:normal;font-weight:bold;font-size:110.375px;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT';writing-mode:lr-tb;fill:#231f20;fill-opacity:1;fill-rule:nonzero;stroke:none" /> 246 246 + <path 247 247 + d="m 106.73017,510.86905 c 0.28743,-6.21579 0.50301,-12.70105 0.64674,-19.4558 0.14371,-6.75472 0.21556,-13.9945 0.21557,-21.71936 -10e-6,-8.19187 -0.0719,-15.66519 -0.21557,-22.41999 -0.14373,-6.7906 -0.35931,-13.18603 -0.64674,-19.18633 1.76054,0.28752 3.26958,0.48513 4.52712,0.59284 1.25752,0.10787 2.47912,0.16176 3.6648,0.16168 1.18566,8e-5 2.44319,-0.0538 3.7726,-0.16168 1.32937,-0.14364 2.82044,-0.34125 4.47321,-0.59284 -0.28746,6.21587 -0.50303,12.70113 -0.64673,19.4558 -0.14374,6.7548 -0.2156,13.99458 -0.21557,21.71936 -3e-5,8.19195 0.0718,15.68324 0.21557,22.47388 0.1437,6.75475 0.35927,13.13223 0.64673,19.13244 -1.22162,-0.25151 -2.51508,-0.43115 -3.88038,-0.53894 -1.36534,-0.14372 -2.78455,-0.21558 -4.25764,-0.21558 -1.47312,0 -2.89233,0.0719 -4.25764,0.21558 -1.36533,0.10779 -2.71268,0.28743 -4.04207,0.53894" 248 248 + id="path3130" 249 249 + style="font-variant:normal;font-weight:bold;font-size:110.375px;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT';writing-mode:lr-tb;fill:#231f20;fill-opacity:1;fill-rule:nonzero;stroke:none" /> 250 250 + <path 251 251 + d="m 149.31232,484.62258 c -1e-5,6.35953 1.50902,11.40762 4.52712,15.14427 3.05397,3.73667 7.14993,5.605 12.28787,5.60499 2.55096,10e-6 4.99416,-0.43115 7.32961,-1.29346 2.33537,-0.8623 4.59893,-2.17372 6.79067,-3.93428 l 1.07788,0.80842 -2.42523,6.25172 c -2.29954,1.61683 -5.01221,2.8564 -8.13803,3.7187 -3.08997,0.86231 -6.44937,1.29346 -10.07821,1.29346 -8.58716,0 -15.32393,-2.53302 -20.21032,-7.59908 -4.85049,-5.06604 -7.27572,-12.07228 -7.27572,-21.01873 0,-8.04817 2.42523,-14.55139 7.27572,-19.5097 4.85046,-4.95821 11.26386,-7.43734 19.24022,-7.4374 7.58108,6e-5 13.38368,2.10193 17.40783,6.30562 4.05998,4.20379 6.08999,10.23994 6.09004,18.10845 -5e-5,0.9342 -0.018,1.65278 -0.0539,2.15577 -6e-5,0.50304 -0.018,0.95216 -0.0539,1.34735 l -33.79166,0.0539 m 0,-5.44332 h 18.70129 c -4e-5,-0.39519 0.0179,-0.88024 0.0539,-1.45514 0.0359,-0.61077 0.0539,-1.00599 0.0539,-1.18567 -4e-5,-4.99416 -0.73659,-8.76675 -2.20966,-11.31778 -1.43722,-2.55095 -3.57502,-3.82644 -6.41341,-3.82649 -3.23368,5e-5 -5.74874,1.45519 -7.54519,4.36543 -1.76056,2.91033 -2.64083,7.06018 -2.64082,12.44956 v 0.97009" 252 252 + id="path3132" 253 253 + style="font-variant:normal;font-weight:bold;font-size:110.375px;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT';writing-mode:lr-tb;fill:#231f20;fill-opacity:1;fill-rule:nonzero;stroke:none" /> 254 254 + </g> 255 255 + <path 256 256 + d="m 354.97642,779.86311 0.0472,-111.78758" 257 257 + transform="matrix(1.0680649,0.03137802,4.5061323e-4,0.79634018,52.296445,45.589981)" 258 258 + id="path14272-8-8" 259 259 + style="fill:none;stroke:#ebb11f;stroke-width:5.42158;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 260 260 + <path 261 261 + d="m 354.97642,779.86311 0.0472,-111.78758" 262 262 + transform="matrix(1.0680649,0.02176674,4.5061323e-4,0.55241636,46.225016,60.238211)" 263 263 + id="path14272-8-8-9" 264 264 + style="fill:none;stroke:#ebb11f;stroke-width:6.50941;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 265 265 + <path 266 266 + d="m 355,779.86218 0.0147,-113.26655" 267 267 + transform="matrix(-0.68013133,-0.69915023,0.52081234,-0.47423207,325.9157,1150.957)" 268 268 + id="path14272-4-0" 269 269 + style="fill:none;stroke:#f6f69f;stroke-width:6.03389;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 270 270 + <path 271 271 + d="M 355,779.86218 V 668.07646" 272 272 + transform="matrix(0.4605642,-0.96416129,0.72065441,0.31837901,-371.0714,776.91068)" 273 273 + id="path14272" 274 274 + style="fill:none;stroke:#e9ddfc;stroke-width:5.45071;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 275 275 + <path 276 276 + d="M 355,779.86218 354.70605,665.59042" 277 277 + transform="matrix(-0.27732861,-0.2818046,0.21236511,-0.19114744,311.53619,910.05699)" 278 278 + id="path14272-4" 279 279 + style="fill:none;stroke:#e9ddfc;stroke-width:14.8836;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 280 280 + <path 281 281 + d="M 355,779.86218 V 668.07646" 282 282 + transform="matrix(0.46724158,-0.97914515,0.73110264,0.32332687,-472.78971,743.30514)" 283 283 + id="path14272-1" 284 284 + style="fill:none;stroke:#e9ddfc;stroke-width:5.37005;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 285 285 + <path 286 286 + d="M 355,779.86218 V 668.07646" 287 287 + transform="matrix(0.49932689,-1.0511443,0.78130719,0.34710196,-439.69297,646.68794)" 288 288 + id="path14272-1-8" 289 289 + style="fill:none;stroke:#e9ddfc;stroke-width:5.0136;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 290 290 + <path 291 291 + d="M 355,779.86218 V 668.07646" 292 292 + transform="matrix(-0.68013133,-0.69915023,0.52081234,-0.47423207,435.88827,1049.1627)" 293 293 + id="path14272-4-0-8" 294 294 + style="fill:none;stroke:#f6f69f;stroke-width:6.03389;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 295 295 + <path 296 296 + d="m 355,779.86218 0.13674,-112.35385" 297 297 + transform="matrix(-0.64870168,-0.66658539,0.496745,-0.45214342,324.21149,975.44506)" 298 298 + id="path14272-4-0-1" 299 299 + style="fill:none;stroke:#f6f69f;stroke-width:6.32745;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 300 300 + <path 301 301 + d="M 355,779.86218 V 668.07646" 302 302 + transform="matrix(0.44991982,-0.94027428,0.70399892,0.3104912,-277.16301,678.31473)" 303 303 + id="path14272-1-8-0" 304 304 + style="fill:none;stroke:#f6f69f;stroke-width:5.58442;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 305 305 + <path 306 306 + d="M 355.12294,780.56223 355,668.07646" 307 307 + transform="matrix(0.48582149,-1.0208367,0.76017501,0.33709398,-340.52398,536.3385)" 308 308 + id="path14272-1-8-0-5" 309 309 + style="fill:none;stroke:#f6f69f;stroke-width:5.1577;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 310 310 + <path 311 311 + d="m 355,779.86218 0.0822,-114.26" 312 312 + transform="matrix(0.23222996,-0.40349326,0.33248482,0.14898077,154.01474,708.1133)" 313 313 + id="path14272-1-8-0-0" 314 314 + style="fill:none;stroke:#f4af92;stroke-width:12.1715;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 315 315 + <path 316 316 + d="M 355,779.86218 V 668.07646" 317 317 + transform="matrix(-0.61829193,-0.63300976,0.47345866,-0.42936913,399.22409,1192.6629)" 318 318 + id="path14272-4-8" 319 319 + style="fill:none;stroke:#f4af92;stroke-width:6.65085;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 320 320 + <path 321 321 + d="M 355,779.86218 V 668.07646" 322 322 + transform="matrix(0.20957423,-0.35852802,0.30004849,0.13237837,294.8988,607.38216)" 323 323 + id="path14272-1-8-0-0-7" 324 324 + style="fill:none;stroke:#f4af92;stroke-width:13.5922;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 325 325 + <path 326 326 + d="M 355,779.86218 V 668.07646" 327 327 + transform="matrix(-0.61829193,-0.63300976,0.47345866,-0.42936913,506.74817,1094.9278)" 328 328 + id="path14272-4-8-0" 329 329 + style="fill:none;stroke:#f4af92;stroke-width:6.65085;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 330 330 + <path 331 331 + d="M 355,779.86218 V 668.07646" 332 332 + transform="matrix(-0.47589389,-0.48590517,0.36441699,-0.32958841,421.60388,918.00221)" 333 333 + id="path14272-4-8-0-9" 334 334 + style="fill:none;stroke:#f4af92;stroke-width:8.65263;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 335 335 + <path 336 336 + d="m 309.70965,329.89275 v -11.82131 l -31.33851,-14.47705 -21.89097,18.29019 3.5e-4,21.00833 v 13.63312 l 17.82832,8.49416 -13.24446,11.88423 v 17.87053 l -7.14285,-3.31697 -9.09443,8.2985 m 36.53527,19.65609 v 24.5231 l 32.90922,15.12153 20.75374,-18.71124 V 416.1035 m 17.09377,-55.02117 21.356,9.65374 -0.25,35.27102 -20.89285,18.51339 -17.30692,-8.41698 v -10.95495 l -17.7408,-8.10792 m -7.44988,-53.19425 -0.0524,-13.96278 9.88668,-9.82262 32.45019,14.79137 v 26.21926 l -0.0833,9.34489 -18.80608,17.30556 -3.0026,-1.34164 -12.94258,10.66021 -2.83247,2.56409 v 3.51844 l -23.3731,20.77037 -9.71662,-4.48096 -20.29799,-9.29055 v -15.34707 m 23.32527,-38.72503 30.01825,13.76894 0.0442,29.78586 m -40.14325,-34.58453 10.05733,-8.9588 13.70141,6.22346 11.76707,-10.5589 v -7.87957 l 20.39245,9.63592 v 32.89812 m -73.74654,-43.48751 -6.42507,-3.37242 -22.38393,20.24107 -0.0221,20.00898 m 53.7129,64.16513 -17.48962,15.88961 -29.45226,-13.62294 -1.79356,-0.59257 0.22321,-34.9617 11.977,-10.89159 -17.22253,-7.89671 0.0449,-12.08923 -5.07612,-2.19199 -22.58035,19.87145 v 35.13298 l 31.09934,14.68192 1.53459,-1.65513" 337 337 + transform="matrix(2.8036733,0,0,2.8036733,-384.76141,-506.22786)" 338 338 + id="path7649" 339 339 + style="fill:none;stroke:#000000;stroke-width:2.49672;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> 340 340 + </g> 341 341 + <g 342 342 + id="g922" 343 343 + transform="matrix(1.4202098,0,0,1.4202098,-109.30783,12.916568)"> 344 344 + <g 345 345 + aria-label="HOL" 346 346 + transform="rotate(25.818052)" 347 347 + id="text912" 348 348 + style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:67.7426px;line-height:1.25;font-family:'ZapfHumnst BT';-inkscape-font-specification:'ZapfHumnst BT Bold';letter-spacing:1.99841px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1.69356"> 349 349 + <path 350 350 + d="m 316.74207,-117.07022 q 0.39692,-4.56469 0.59539,-9.95631 0.19846,-5.4247 0.19846,-13.13174 0,-7.14473 -0.19846,-12.80097 -0.19847,-5.68932 -0.59539,-10.38632 1.42233,0.19846 2.84466,0.33077 1.42233,0.0992 2.84466,0.0992 1.42233,0 2.84466,-0.0992 1.42233,-0.13231 2.84466,-0.33077 -0.2977,3.01005 -0.43001,5.68932 -0.13231,2.67927 -0.13231,5.16008 v 7.97166 q 4.20083,0.19847 6.28471,0.26462 2.11696,0.0331 3.87006,0.0331 1.78619,0 3.87006,-0.0331 2.11696,-0.0661 6.3178,-0.26462 v -7.97166 q 0,-2.48081 -0.13231,-5.16008 -0.13231,-2.67927 -0.43001,-5.68932 1.42233,0.19846 2.84466,0.33077 1.42233,0.0992 2.84466,0.0992 1.42233,0 2.84466,-0.0992 1.42233,-0.13231 2.84466,-0.33077 -0.39693,4.697 -0.5954,10.38632 -0.19846,5.65624 -0.19846,12.80097 0,7.70704 0.19846,13.13174 0.19847,5.39162 0.5954,9.95631 -1.58772,-0.16539 -3.01005,-0.23154 -1.38925,-0.0992 -2.67927,-0.0992 -1.29002,0 -2.71235,0.0992 -1.38925,0.0662 -2.94389,0.23154 0.23154,-2.6462 0.36385,-5.16008 0.16539,-2.54696 0.16539,-4.92854 l -0.0331,-12.33789 q -2.54697,-0.0992 -5.06085,-0.13231 -2.51389,-0.0661 -5.09393,-0.0661 -2.54696,0 -5.06085,0.0661 -2.51388,0.0331 -5.06084,0.13231 l -0.0331,12.33789 q 0,2.38158 0.13231,4.92854 0.13231,2.51388 0.39693,5.16008 -1.58772,-0.16539 -2.97697,-0.23154 -1.38925,-0.0992 -2.67927,-0.0992 -1.3231,0 -2.71235,0.0992 -1.38926,0.0662 -2.97697,0.23154 z" 351 351 + style="stroke-width:1.69356" 352 352 + id="path1072" /> 353 353 + <path 354 354 + d="m 379.07373,-140.15827 q 0,9.46014 3.90314,14.78561 3.90313,5.32547 10.81632,5.32547 6.81395,0 10.71709,-5.35855 3.90314,-5.35854 3.90314,-14.75253 0,-9.52631 -3.90314,-14.88485 -3.90314,-5.39163 -10.71709,-5.39163 -6.88011,0 -10.81632,5.39163 -3.90314,5.39162 -3.90314,14.88485 z m -10.88248,0.66154 q 0,-11.5771 6.97934,-18.12643 6.97934,-6.58241 19.3503,-6.58241 11.90788,0 18.39106,6.25163 6.48318,6.25164 6.48318,17.79567 0,10.91555 -6.97934,17.46488 -6.97934,6.51626 -18.6226,6.51626 -12.33789,0 -18.98645,-6.05317 -6.61549,-6.05317 -6.61549,-17.26643 z" 355 355 + style="stroke-width:1.69356" 356 356 + id="path1074" /> 357 357 + <path 358 358 + d="m 428.80289,-117.07022 q 0.39693,-4.66392 0.59539,-10.08862 0.19847,-5.4247 0.19847,-12.99943 0,-7.27704 -0.19847,-12.93328 -0.19846,-5.65625 -0.59539,-10.25401 1.42233,0.19846 2.84466,0.33077 1.42233,0.0992 2.84466,0.0992 1.42233,0 2.84466,-0.0992 1.42233,-0.13231 2.84466,-0.33077 -0.43001,4.697 -0.62847,10.35324 -0.19847,5.65624 -0.19847,12.83405 0,7.01241 0.0992,11.14709 0.13231,4.13468 0.36385,7.11165 4.16776,-0.0992 7.97167,-0.33077 3.8039,-0.23154 7.4755,-0.5954 -0.0992,0.66155 -0.16539,1.38926 -0.0331,0.69462 -0.0331,1.4554 0,0.69463 0.0331,1.42233 0.0662,0.69463 0.16539,1.48849 -4.73007,-0.26462 -8.03782,-0.36385 -3.30774,-0.0992 -5.98702,-0.0992 -2.41465,0 -5.32546,0.0992 -2.91082,0.0992 -7.11165,0.36385 z" 359 359 + style="stroke-width:1.69356" 360 360 + id="path1076" /> 361 361 + </g> 362 362 + </g> 363 363 + </svg>

+605 -600

assets/music.tsv

reviewed

··· 1 1 - Composer Title Where 2 2 - Aichinger Factus est repente 4thCh p2 3 3 - Aichinger Regina caeli 4thCh p7 4 4 - Amner Lift up your heads O ye gates XVIAB p41 5 5 - Amner O God my King AfC1 p130 6 6 - Anerio Alleluia. Christus surrexit Ash p156 7 7 - Anerio Christus factus est Ash p52; 1stCh p1 8 8 - Anerio, G. F. Requiem aeternam 1stCh p4 9 9 - Anon. Easter Alleluias: (a) Antiphon with psalm tone, (b) Plainchant Alleluia Ash p154 10 10 - Anon. Come, rock the cradle for him CfC3 p53 11 11 - Anon. (16th Century) O Lord, the maker of all thing XVIAB p85 12 12 - Anon. (16th Century) Rejoice in the Lord alway XVIAB p1; Adv p162 13 13 - Anon. (16th Century) This is the day XVIAB p32 14 14 - Arcadelt Haec dies NCAB p146; 5thCh p2 15 15 - Arcadelt O Lord, my God, to thee NCAB p293 16 16 - Arcadelt (attrib.) Ave Maria NOEAB p12 17 17 - Archer Advent Wreath Prayers Adv p16 18 18 - Archer And I saw a new heaven NOEAB p6 19 19 - Archer Ave Maria Adv p33 20 20 - Archer Creator of the stars of night Adv p56 21 21 - Archer Prayer for the Blessing of Light Adv p160 22 22 - Archer The Linden Tree Carol Adv p180 23 23 - Archer The Lord goes up NOEAB p210 24 24 - Archer (arr.) Alma redemptoris mater Adv p22 25 25 - Archer (arr.) On Jordan's bank Adv p146 26 26 - Archer (arr.) People, look East NOEAB p176 27 27 - Archer (arr.) The Angel Gabriel Adv p171 28 28 - Armstrong Gibbs Bless the Lord, O my soul OEAB p91 29 29 - Armstrong Gibbs O, praise God in His holiness OEAB p112 30 30 - Armstrong Gibbs The strife is o'er OEAB p46 31 31 - Armstrong Gibbs While the shepherds were watching CfC1 p168 32 32 - Arne Help me, O Lord OEAB p133 33 33 - Aston I give you a new commandment NOEAB p93 34 34 - Aston So they gave their bodies NCAB p416 35 35 - Attwood Come, Holy Ghost NCAB p100; NOEAB p40 36 36 - Attwood O God, who by the leading of a star AfC1 p123 37 37 - Attwood Teach me, O Lord NOEAB p206; AfC1 p196 38 38 - Attwood Turn thy face from my sins NCAB p494 39 39 - Bach, J.S. All people at this hour OEAB p78 40 40 - Bach, J.S. Awake us, Lord, and hasten AfC1 p34 41 41 - Bach, J.S. Awake, thou wintry earth NCAB p53 42 42 - Bach, J.S. Come sweetest death OEAB p134 43 43 - Bach, J.S. Dearest Lord Jesu OEAB p1 44 44 - Bach, J.S. Flocks in pastures green abiding OEAB p136 45 45 - Bach, J.S. Forget me not OEAB p141 46 46 - Bach, J.S. God is living, God is here AfC1 p212 47 47 - Bach, J.S. God is our hope and strength AfC1 p59 48 48 - Bach, J.S. Here lies He now OEAB p25 49 49 - Bach, J.S. Jesu, hope of men despairing OEAB p35 50 50 - Bach, J.S. Jesu, joy of man's desiring NCAB p185; NOEAB p101 51 51 - Bach, J.S. Jesu, lead my footsteps ever NCAB p193 52 52 - Bach, J.S. King of glory, King of peace NCAB p201 53 53 - Bach, J.S. St. Matthew Passion Loose, Novello edition 54 54 - Bach, J.S. Subdue us by Thy goodness NCAB p421 55 55 - Bach, J.S. Up, up, my heart! with gladness AfC1 p206 56 56 - Bach, J.S. Wie soll ich dich empfangen (from The Christmas Oratorio) Adv p213 57 57 - Bach, J.S. Ah! dearest Jesu (from The Christmas Oratorio) CfC3 p22 58 58 - Bach, J.S. And there were shepherds CfC1 p10 59 59 - Bach, J.S. With all thy hosts (from The Christmas Oratorio) CfC3 p22 60 60 - Bach, J.S. Zion hört die Wächter singen CfC2 p214 61 61 - Bach, J.S. (harm.) O little one sweet CfC1 p87 62 62 - Bain Brother James' Air NOEAB p30 63 63 - Bainton A babe is born I wys CfC2 p6 64 64 - Bairstow I sat down under his shadow AfC1 p74 65 65 - Bairstow Jesu, the very thought of thee NCAB p197 66 66 - Bairstow Let all mortal flesh keep silence AfC4 p88 67 67 - Bairstow Psalm 114 Ash p165 68 68 - Bairstow The day draws on with golden light NCAB p436 69 69 - Bairstow The Lamentation Ash p55 70 70 - Bairstow Though I speak with the tongues of men NCAB p484 71 71 - Bairstow (after Gibbons) Jesu, grant me this I pray Ash p60 72 72 - Ballet Lute-book lullaby CfC1 p108 73 73 - Barcrofte O almighty God AfC1 p112 74 74 - Barnard (arr.) In the heart where love is abiding Ash p100 75 75 - Batten Deliver us, O Lord our God XVIAB p99 76 76 - Batten Haste thee, O God AfC1 p64 77 77 - Batten Let my complaint come before thee XVIAB p24 78 78 - Batten Lord, we beseech thee XVIAB p20 79 79 - Batten O praise the Lord OBTA p251 80 80 - Batten O sing joyfully XVIAB p70 81 81 - Batten When the Lord turned again XVIAB p35 82 82 - Bax Lord, thou hast told us AfC4 p28 83 83 - Bennett Out of your sleep CfC2 p150 84 84 - Bennett Susanni CfC3 p18 85 85 - Bennett What sweeter music CfC3 p192 86 86 - Berkeley I sing of a maiden Adv p109 87 87 - Berlioz The Shepherd's farewell CfC1 p142 88 88 - Berry (arr.) Advent Antiphons (Latin) Adv p8 89 89 - Bevan There's a wideness in God's mercy NOEAB p224 90 90 - Bevan (arr.) O Thou who at Thy Eucharist did'st pray OEAB p99 91 91 - Bevan (arr) O love of whom is truth and light OEAB p144 92 92 - Blackwell (arr.) O Thou, whose all-redeeming might NOEAB p168 93 93 - Blow Let my prayer AfC1 p86 94 94 - Blow Praise the Lord, ye servants AfC1 p174 95 95 - Bohemian Brethren (arr. Guest) Zion, at thy shining gates Adv p214 96 96 - Bourgeois O gladsome light, O grace NCAB p273 97 97 - Bourgeois O strength and stay AfC1 p156 98 98 - Bourne Thou art God NOEAB p231 99 99 - Brahms Ah, thou poor world AfC1 p10 100 100 - Britten A boy was born CfC1 p4 101 101 - Britten A new year carol CfC2 p64 102 102 - Britten Corpus Christi Carrol Loose. Oxford Edition. 103 103 - Britten O be joyful in the Lord (Jubilate Deo) AfC4 p140 104 104 - Britten There is no rose CfC3 p181 105 105 - Bruckner Locus iste NCAB p222 106 106 - Bruckner Pange lingua (Of the glorious Body telling) Ash p104 107 107 - Bruckner Virga Jesse floruit Adv p204 108 108 - Bull In the departure of the Lord Ash p123 109 109 - Bullard For all thy saints NOEAB p65 110 110 - Bullard Praise ye the Lord NOEAB p180 111 111 - Bullard Star of the East NOEAB p198 112 112 - Bullard The Feast of Palms Ash p74 113 113 - Bullock Give us the wings of faith AfC4 p128 114 114 - Bullock Good Christian men rejoice and sing OEAB p38 115 115 - Bullock (arr.) Give laud unto the Lord OEAB p64 116 116 - Byrd Ave verum corpus NCAB p38; OBTA p44; 2ndCh p2 117 117 - Byrd Cibavit eos 2ndCh p6 118 118 - Byrd Civitas sancti tui Ash p4 119 119 - Byrd Haec dies OBTA p84 120 120 - Byrd Justorum animae OBTA p131 121 121 - Byrd Laetentur coeli OBTA p137 122 122 - Byrd Mass for five voices Loose. Chester edition 123 123 - Byrd Miserere mei OBTA p157 124 124 - Byrd O quam gloriosum OBTA p256 125 125 - Byrd Sacerdotes Domini NCAB p399; XVIAB p55 126 126 - Byrd Senex puerum 2ndCh p10 127 127 - Byrd Sing joyfully OBTA p287 128 128 - Byrd Teach me, O Lord OBTA p298 129 129 - Byrd This day Christ was born OBTA p307 130 130 - Byrd Venite comedite 2ndCh p13 131 131 - Campbell (arr.) Praise to God in the highest AfC1 p179 132 132 - Carter For the beauty of the earth NOEAB p70 133 133 - Carter Holy Spirit, truth divine NOEAB p84 134 134 - Carter Mary's Magnificat NCAB p231 135 135 - Carter O Lord, open thou our lips NCAB p295 136 136 - Carter (arr.) Angelus ad Virginem Adv p24 137 137 - Carter (arr.) Joy is come NOEAB p116; Ash p167 138 138 - Cashmore (after Praetorius) Es ist ein Ros' entsprungen 74Adv p 139 139 - Charpentier Salve puerule CfC3 p154 140 140 - Chilcott Be thou my vision NOEAB p23 141 141 - Chilcott God so loved the world Ash p64 142 142 - Chilcott Nova! nova! Adv p137 143 143 - Chilcott (arr.) Were you there? Ash p126 144 144 - Clarke-Whitfeld Behold, how good and joyful AfC1 p38 145 145 - Clemens non Papa Crux fidelis 5thCh p5 146 146 - Cleobury (arr.) Advent Antiphons (English) Adv p3 147 147 - Cleobury (arr.) Advent Prose (English) Adv p11 148 148 - Cleobury (arr.) Advent Prose (Latin) Adv p14 149 149 - Cleobury (arr.) Come, thou Redeemer of the earth Adv p54 150 150 - Cleobury (arr.) Let all mortal flesh keep silence Adv p115 151 151 - Cleobury (arr.) Man, assay Adv p127 152 152 - Cleobury (arr.) The Cherry Tree Carol Adv p174 153 153 - Coleman (arr.) Ye servants of God OEAB p108 154 154 - Cooke O men from the fields CfC1 p94 155 155 - Cope He is risen OEAB p42 156 156 - Cope Pleasure it is OEAB p88 157 157 - Cornelius The Three Kings CfC1 p136 158 158 - Corrêa O vos omnes NOEAB p174; AfC1 p163 159 159 - Croce O sacrum convivium 1stCh p6 160 160 - Croce O vos omnes Ash p129 161 161 - Crotch Be peace on earth OEAB p147 162 162 - Crotch Comfort, O Lord, the soul of thy servant NCAB p110 163 163 - Darke Communion Service in F Loose. Oxford Edition. 164 164 - Darlington (arr.) Jacob's Ladder Adv p110 165 165 - de Séverac Tantum ergo Ash p108 166 166 - Dering Above Him stood the Seraphim OEAB p155 167 167 - Dering Factum est silentium OBTA p57 168 168 - Dowland He that is down needs fear no fall OEAB p160 169 169 - Dowland My spirit longs for Thee OEAB p102 170 170 - Drayton Jesu dulcis memoria AfC4 p166 171 171 - Drese Round me falls the night NCAB p381 172 172 - Ebeling All my heart this night rejoices CfC2 p12 173 173 - Eccard When to the temple Mary went NCAB p516 174 174 - Elgar Ave verum corpus NCAB p44 175 175 - Elgar Dream of Gerontius Loose. 1900 Novello edition 176 176 - Elgar Light of the World Ash p170 177 177 - Elgar O salutaris Hostia No. 3 NOEAB p157 178 178 - Ellis There is no rose NOEAB p221 179 179 - Esquivel Ego sum panis vivus 3rdCh p2 180 180 - Este's Psalter While shepherds watched their flocks by night CfC1 p166 (arr. Ravenscroft), CfC2 p210 (arr. Willcocks) 181 181 - Farrant Call to remembrance NCAB p87; OBTA p50 182 182 - Farrant Hide not thou thy face NCAB p151; OBTA p94 183 183 - Farrant (attrib.) Lord, for thy tender mercy's sake NOEAB p138; NCAB p224; OBTA p152; Ash p13 184 184 - Farrar Almighty God, the fountain of all wisdom AfC1 p24 185 185 - Ferguson (arr.) People look East Adv p157 186 186 - Ford Almighty God, which hast me brought NCAB p21; AfC1 p28 187 187 - Foster Christ the Lord is risen again! NOEAB p39 188 188 - Gardiner Evening Hymn NCAB p120 189 189 - Gauntlett Once in royal David's city CfC1 p100 (arr. Mann), CfC2 p148 (arr. Mann and Willcocks) 190 190 - Gesius Hosianna dem Sohne Davids Ash p82 191 191 - Gibbons Almighty and everlasting God NCAB p18; OBTA p15 192 192 - Gibbons Drop, drop, slow tears NOEAB p52; NCAB p116 193 193 - Gibbons Hosanna to the Son of David OBTA p99 194 194 - Gibbons O clap your hands OBTA p164 195 195 - Gibbons O Lord, in thy wrath OBTA p231 196 196 - Gibbons Song 44 AfC1 p46 197 197 - Gibbons Song 46 AfC1 p30 198 198 - Gibbons This is the record of John NCAB p454; OBTA p318 199 199 - Gilbert Let all the world OEAB p119 200 200 - Goldschmidt A tender shoot Adv p31 201 201 - Goss God so loved the world NCAB p145 202 202 - Goss If we believe NCAB p168 203 203 - Goss O pray for the peace of Jerusalem AfC1 p146 204 204 - Goss O Saviour of the world NCAB p323; NOEAB p163 205 205 - Goss See amid the winter's snow CfC1 p103 206 206 - Goss These are they which follow the Lamb AfC1 p200 207 207 - Greene Thou visitest the earth NCAB p473 208 208 - Gritton Lord that descendedst, Holy Child AfC1 p98 209 209 - Gruber Stille Nacht CfC2 p184 (arr. Willcocks), CfC3 p168 (arr. Cashmore) 210 210 - Guerrero Canite tuba Adv p49; 3rdCh p5 211 211 - Guerrero Gloriose confessor 3rdCh p9 212 212 - Hadley I sing of a maiden CfC2 p86 213 213 - Halls Hosanna to the Son of David NOEAB p88 214 214 - Halls Wash me throughly NOEAB p244 215 215 - Händel Ecce quomodo moritur justus Ash p67 216 216 - Händel Lord, I trust thee NCAB p228; NOEAB p140; AfC1 p95 217 217 - Händel Zadok the Priest NCAB p541 218 218 - Handl Ecce concipies Adv p68; 4thCh p9 219 219 - Handl Ecce quomodo 4thCh p12 220 220 - Handl Resonet in laudibus 4thCh p15 221 221 - Hare Thou, O God, art praised in Sion AfC4 p94 222 222 - Harris Behold, the tabernacle of God NCAB p58 223 223 - Harris Come down, O Love divine NCAB p94 224 224 - Harris Faire is the heaven AfC4 p100 225 225 - Harris Fear not, O land NOEAB p57 226 226 - Harris Holy is the true light NCAB p164 227 227 - Harris Most glorious Lord of life OEAB p163; Ash p182 228 228 - Harris Vexilla Regis Cunctis (Tarry no longer; toward thine heritage) OEAB p167 229 229 - Harris (arr.) O strength and stay AfC1 p156 230 230 - Hassler Cantate Domino 4thCh p18 231 231 - Hassler Laetentur caeli 4thCh p21 232 232 - Hassler Tu es Petrus 4thCh p24 233 233 - Hilton Lord, for Thy tender mercy's sake OEAB p27 234 234 - Hoddinott Puer natus AfC4 p18 235 235 - Holst In the bleak mid-winter CfC3 p93 236 236 - Holst Turn back O Man NCAB p488; AfC4 p188 237 237 - Holst (arr.) Personent Hodie CfC2 p160 238 238 - Hopkins Kings of the Orient CfC3 p190 239 239 - How Advent Message NOEAB p2 240 240 - How Day by day NOEAB p49 241 241 - How Praise, O praise NCAB p359 242 242 - Howells Like as the hart AfC4 p158 243 243 - Howells My eyes for beauty pine NCAB p235; NOEAB p152; OEAB p169 244 244 - Howells Tryste noel CfC3 p172 245 245 - Hurford Litany to the Holy Spirit NOEAB p133 246 246 - Hurford Sunny bank CfC3 p36 247 247 - Hutchings Hosanna to the Son of David Ash p84 248 248 - Ingegneri In monte oliveti 1stCh p10 249 249 - Ireland Greater love hath no man AfC4 p174 250 250 - Isaac Gustate et videte 5thCh p9 251 251 - Isaac Ierusalem surge 5thCh p11 252 252 - Isom King of all ages, throned on high NOEAB p123 253 253 - Ives, G. Ride on Ash p87 254 254 - Ives, G. This is the record of John Adv p187 255 255 - Jackson I look from afar Adv p101 256 256 - Jackson Lift up your heads AfC4 p43 257 257 - Jackson Lo, God is here AfC1 p88 258 258 - Jackson Tomorrow go ye forth Adv p195 259 259 - Jacob O Lord, I will praise Thee OEAB p123 260 260 - Jacques I saw three ships CfC1 p56 261 261 - Jacques When Christ was born CfC1 p165 262 262 - Jacques (arr.) Angels, from the realms of glory CfC1 p16 263 263 - Jacques (arr.) Away in a manger CfC1 p3 264 264 - Jacques (arr.) Patapan CfC2 p212 265 265 - Jacques (arr.) Rejoice and be merry CfC1 p102 266 266 - Jacques (arr.) The Holly and the Ivy CfC1 p130 267 267 - Jacques (arr.) The linden tree carol CfC1 p110 268 268 - John IV Crux fidelis NCAB p112; Ash p136 269 269 - Johnson Dum transisset 2ndCh p16 270 270 - Josquin des Près Ave Maria 5thCh p13 271 271 - Josquin des Près Tu solus 5thCh p21 272 272 - Joubert O Lorde, the maker of al thing NCAB p310 273 273 - Joubert Torches CfC1 p150 274 274 - Kirkpatrick Away in a manger CfC1 p2 275 275 - Kocher As with gladness men of old CfC1 p8 276 276 - Kodály (arr.) A Christmas Carol CfC1 p18 277 277 - Lassus Adoramus te. Christe Ash p69 278 278 - Lassus Improperium 5thCh p25 279 279 - Lassus Jubilate Deo 5thCh p28 280 280 - Lassus Scio enim 5thCh p31 281 281 - Lassus Super flumina Babylonis NCAB p425 282 282 - Ledger Adam lay ybounden Adv p1 283 283 - Ledger Loving Shepherd of thy sheep NOEAB p148 284 284 - Ledger (arr.) This joyful Eastertide Ash p186 285 285 - Leighton A hymn to the Trinity AfC4 p67 286 286 - Leighton Solus ad victimam NCAB p413; AfC1 p13 287 287 - Leuner The shepherds' cradle song CfC2 p123 288 288 - Ley Come, Thou long expected Jesus OEAB p4 289 289 - Ley Lo, round the throne a glorious band NCAB p215 290 290 - Ley The strife is o'er NCAB p448 291 291 - Ley (arr.) A Choral Hymn for Advent or Ascensiontide) OEAB p68 292 292 - Lindley (arr.) Now the green blade riseth Ash p190 293 293 - Lloyd Drop down, ye heavens Adv p61 294 294 - Lole Jesu, the very thought of thee NOEAB p108 295 295 - Loosemore O Lord, increase our faith NCAB p284 296 296 - Loosemore The Litany (BCP) Ash p17 297 297 - Lord A prayer for peace AfC4 p172 298 298 - Lord Most glorious Lord of Lyfe! AfC1 p101 299 299 - Lully (attrib.) Far away, what splendour comes this way? NOEAB p54 300 300 - Malcolm Ingrediente Domino Ash p92 301 301 - Manz E'en so Lord Jesus, Quickly Come Adv p72 302 302 - Marchant The souls of the righteous NCAB p443; OEAB p97 303 303 - Marenzio O rex gloriae 1stCh p13 304 304 - Marenzio Tribus miraculis 1stCh p16 305 305 - Marshall The Litany (ASB) Ash p24 306 306 - Mathias A Babe is born CfC3 p4 307 307 - Mathias Lift up your heads, O ye gates AfC1 p81 308 308 - Mathias Make a joyful noise (Jubilate Deo) AfC4 p134 309 309 - Mathias Salve regina NCAB p404 310 310 - Mathias Sir Christèmas CfC2 p114 311 311 - McKie We wait for thy loving kindness AfC4 p77 312 312 - Mendelssohn Above all praise NCAB p10; OEAB p74 313 313 - Mendelssohn Hark! the herald angels sing CfC1 p39 (with Willcocks descant), CfC3 p68 314 314 - Mendelssohn How lovely are the messengers (from Saint Paul) Adv p92 315 315 - Mendelssohn Sleepers, wake AfC1 p192 316 316 - Mendelssohn When Jesus, our Lord NCAB p512 317 317 - Monteverdi Christe, Redemtor omnium CfC3 p49 318 318 - Moore Antiphon NCAB p24 319 319 - Moore Magnificat in B flat Adv p121 320 320 - Morales Peccantem me quotidie Ash p27; 3rdCh p13 321 321 - Morales Regina caeli 3rdCh p16 322 322 - Morales Simile est regnum 3rdCh p19 323 323 - Morgan A Palm Sunday Antiphon NCAB p5 324 324 - Morley Agnus Dei Ash p33; 2ndCh p20 325 325 - Morley Eheu, sustulerunt Ash p139 326 326 - Morley Nolo mortem peccatoris NCAB p259; XVIAB p13 327 327 - Mozart Ave verum corpus NCAB p48; NOEAB p14; OEAB p29 328 328 - Mozart Grosse Messe Loose; Breitkopf edition 329 329 - Mudd Let thy merciful ears, O Lord NCAB p209; OBTA p147 330 330 - Mundy O Lord, the maker of all things NCAB p302; OBTA p240 331 331 - Near There is no rose Adv p184 332 332 - Nicolai (arr. Bach, J.S.) Wachet auf! Adv p211 333 333 - Oldroyd (arr.) Ye watchers and ye holy ones OEAB p84 334 334 - Ord Adam lay ybounden CfC2 p10 335 335 - Ortiz Ianitor caeli 3rdCh p23 336 336 - Ouseley From the rising of the sun AfC1 p49 337 337 - Ouseley How goodly are thy tents AfC1 p70 338 338 - Oxley My shepherd is Lord NCAB p238 339 339 - Palestrina Adoramus te, Christe NCAB p14 340 340 - Palestrina Alma redemptoris mater 1stCh p20 341 341 - Palestrina Benedictus qui venit (from Missa Quarta) XVIAB p28 342 342 - Palestrina Come, Thou Holy Spirit, come OEAB p80 343 343 - Palestrina Ego sum panis vivus 1stCh p23 344 344 - Palestrina Exaltabo te Domine Loose. Chester edition 345 345 - Palestrina Fuit homo missus a Deo Adv p79 346 346 - Palestrina Matin Responsory Adv p130; CfC2 p68 347 347 - Palestrina Missa Brevis Loose. Chester edition 348 348 - Palestrina O Bone Iesu (4v) OEAB p104 349 349 - Palestrina Salvator mundi NCAB p401 350 350 - Palestrina Sanctus (from Missa Quarta) XVIAB p51 351 351 - Palestrina Sicut cervus 1stCh p27 352 352 - Palestrina Super flumina 1stCh p31 353 353 - Palestrina Vesper Responsory Adv p203 354 354 - Parry My soul, there is a country NCAB p244 355 355 - Parry I was glad when they said unto me Loose. Novello edition 356 356 - Parsons Ave Maria OBTA p32 357 357 - Pärt Bogoroditsye Dyevo Adv p46 358 358 - Pearsall Ave verum corpus NOEAB p18 359 359 - Pearsall In dulci jubilo CfC1 p42 360 360 - Peeters Ave verum corpus Ash p110 361 361 - Pettman (arr.) I saw a maiden CfC2 p83 362 362 - Philips Ascendit Deus OBTA p22 363 363 - Philips Surgens Jesus NCAB p431 364 364 - Piæ Cantiones (arr. Jaques) Good King Wenceslas CfC1 p34 365 365 - Piæ Cantiones (arr. Willcocks) Of the Father's heart begotten CfC2 p128 366 366 - Piæ Cantiones (arr. Woodward) Up! good Christen folk, and listen CfC1 p157 367 367 - Piæ Cantiones arr. Archer Long ago, prophets knew Adv p119 368 368 - Piccolo O come, let us sing unto the Lord NCAB p266 369 369 - Pitoni Cantate Domino NCAB p92; NOEAB p34; AfC1 p44 370 370 - Poston Jesus Christ the Apple Tree Adv p113 371 371 - Poston (arr.) The Boar's head carol CfC1 p117 372 372 - Praetorius A great and mighty wonder CfC1 p1 373 373 - Praetorius Omnis mundis jocundetur CfC3 p144 374 374 - Praetorius Psallite unigenito CfC3 p146 375 375 - Praetorius Puer natus est nobis 4thCh p28 376 376 - Praetorius Salve rex noster 4thCh p29 377 377 - Psalmodia Sacra (arr. Willcocks) Bethlehem, of noblest cities CfC3 p40 378 378 - Purcell O God the King of glory AfC1 p136 379 379 - Purcell Rejoice in the Lord alway NCAB p378 380 380 - Purcell Thou knowest, Lord NCAB p463; NOEAB p236 381 381 - Purcell, D. I will thank thee, O Lord NOEAB p96 382 382 - Rachmaninoff To thee, O Lord AfC1 p203 383 383 - Ravenscroft Remember, O thou man Adv p170 384 384 - Rawsthorne Like as the hart Ash p37 385 385 - Ridout A Pure River of Water of Life AfC4 p63 386 386 - Rivaflecha Anima mea 3rdCh p26 387 387 - Rowley (arr.) Shepherds loud their praises singing OEAB p15 388 388 - Rudolph Jesu, the very thought of thee NOEAB p113 389 389 - Rudolph Veiled in darkness Adv p199 390 390 - Rutter A Gaelic Blessing NCAB p1 391 391 - Rutter Christ the Lord is risen again AfC4 p33; Ash p194 392 392 - Rutter Donkey carol CfC3 p55 393 393 - Rutter God be in my head NCAB p141 394 394 - Rutter Jesus Child CfC3 p74 395 395 - Rutter Nativity carol CfC2 p16 396 396 - Rutter O clap your hands AfC4 p53 397 397 - Rutter Praise ye the Lord AfC1 p184 398 398 - Rutter Shepherd's pipe carol CfC2 p39 399 399 - Rutter Star carol CfC3 p157 400 400 - Rutter The peace of God NOEAB p215 401 401 - Rutter Thy perfect love NOEAB p238 402 402 - Rutter (arr.) Angel tidings CfC3 p106 403 403 - Rutter (arr.) Child in a manger CfC3 p42 404 404 - Rutter (arr.) Cradle song CfC3 p112 405 405 - Rutter (arr.) Down in yon forest CfC2 p32 406 406 - Rutter (arr.) Flemish carol CfC3 p31 407 407 - Rutter (arr.) Here we come a-wassailing CfC2 p51 408 408 - Rutter (arr.) I saw three ships CfC3 p94 409 409 - Rutter (arr.) Il est né le divin enfant CfC2 p74 410 410 - Rutter (arr.) In dulci jubilo CfC3 p116 411 411 - Rutter (arr.) King Jesus hath a garden CfC3 p123 412 412 - Rutter (arr.) Noël nouvelet CfC2 p100 413 413 - Rutter (arr.) O come, O come Immanuel Adv p141 414 414 - Rutter (arr.) Past three a clock CfC2 p153 415 415 - Rutter (arr.) Quem pastores laudavere CfC2 p166 416 416 - Rutter (arr.) Quittez, Pasteurs CfC2 p169 417 417 - Rutter (arr.) Sans Day Carol CfC2 p107 418 418 - Rutter (arr.) The twelve days of Christmas CfC2 p134 419 419 - Rutter (arr.) Wexford Carol CfC3 p69 420 420 - Saint-Saëns Ave verum corpus NOEAB p21 421 421 - Saint-Saëns Panis angelicus NCAB p357 422 422 - Sanders The Reproaches Ash p143 423 423 - Sargent (arr.) Zither Carol CfC1 p32 424 424 - Scheidt A child is born in Bethlehem CfC2 p7 425 425 - Scheidt Surrexit Christus hodie Ash p202 426 426 - Schein (arr.) A babe is born in Bethlehem CfC3 p15 427 427 - Schubert Holy, holy, holy NOEAB p83 428 428 - Schubert Where Thou reignest NCAB p523 429 429 - Schütz Praise to thee, Lord Jesus NCAB p366 430 430 - Scott Easter Anthems Ash p208 431 431 - Scott (arr.) I saw water (Vidi aquam) Ash p155 432 432 - Scott (arr.) Lent Prose Ash p1 433 433 - Scott (arr.) O mortal man Ash p132 434 434 - Senfl Deus in adiutorium 4thCh p34 435 435 - Shaw Kings in glory OEAB p22 436 436 - Shaw (arr.) Coventry Carol CfC1 p82 437 437 - Shephard A new commandment Ash p114 438 438 - Shephard Never, weather-beaten sail Adv p133 439 439 - Shephard Sing, my tongue Ash p115 440 440 - Shephard Song of Mary NOEAB p189 441 441 - Shephard The Easter Song of Praise Ash p212 442 442 - Shephard The secret of Christ NCAB p438 443 443 - Shepherd In manus tuas 2ndCh p22 444 444 - Somervell O Saviour of the world NCAB p330 445 445 - Soriano Regina caeli 1stCh p35 446 446 - Stainer God so loved the world NOEAB p81; Ash p72 447 447 - Stainer How beautiful upon the mountains Adv p87 448 448 - Stanford Benedictus in C Adv p38 449 449 - Stanford Glorious and Powerful God NCAB p129 450 450 - Stanford Pray that Jerusalem NCAB p372 451 451 - Stanford Ye choirs of new Jerusalem AfC1 p215; Ash p216 452 452 - Stanford (arr.) O for a closer walk AfC1 p142 453 453 - Stanton Alleluia! Hearts to Heaven OEAB p52 454 454 - Stanton Christ is the world's true Light OEAB p9 455 455 - Statham Drop down, ye heavens OEAB p172 456 456 - Sterndale Bennett God is a spirit NCAB p142 457 457 - Sterndale Bennett O that I knew where I might find him! NCAB p336 458 458 - Stevens (arr.) Sing we to this merry company CfC3 p166 459 459 - Stevens (arr.) There is no rose CfC2 p190 460 460 - Stewart On this day earth shall ring AfC4 p24 461 461 - Stone The Lord's Prayer AfC1 p172 462 462 - Sullivan (arr.) It came upon the midnight clear CfC2 p89 (with Willcocks descant), CfC1 p59 463 463 - Sweelinck How brightly beams the morning star! NOEAB p90 464 464 - Tallis Audivi, media nocte XVIAB p8 465 465 - Tallis Euge caeli 2ndCh p25 466 466 - Tallis If ye love me NCAB p177; NOEAB p98; OBTA p122 467 467 - Tallis O Lord, give thy Holy Spirit XVIAB p47 468 468 - Tallis O nata lux OBTA p248 469 469 - Tallis Salvator mundi OBTA p273 470 470 - Tallis Sancte Deus 2ndCh p27 471 471 - Tallis Verily, verily I say unto you AfC1 p208 472 472 - Tallis (attrib.) All people that on earth do dwell AfC1 p18 473 473 - Tate Carol, with lullaby CfC1 p72 474 474 - Taverner Alleluia 2ndCh p33 475 475 - Taverner Audivi 2ndCh p35 476 476 - Tchaikovsky Holy, Holy, Holy (Hymn to the Trinity) NCAB p155 477 477 - Tchaikovsky The crown of roses CfC3 p196 478 478 - Terry Myn lyking CfC2 p84 479 479 - Terry Richard de Castre's Prayer to Jesus (Jhesu, Lord, that mades me) OEAB p175 480 480 - Thatcher Come, ye faithful NCAB p104; NOEAB p44; OEAB p58 481 481 - Thorne Christ is our Cornerstone NOEAB p36 482 482 - Tomblings All from the sun's uprise OEAB p129 483 483 - Tomkins I heard a voice OBTA p126 484 484 - Tomkins O pray for the peace of Jerusalem XVIAB p101 485 485 - Tomkins When David heard OBTA p332 486 486 - Trevor (arr.) The angels and the shepherds CfC2 p182 487 487 - Turner O Trinity, most blessed light AfC1 p159 488 488 - Tye A sound of angels AfC1 p1 489 489 - Tye Give almes of thy goods AfC1 p54; OBTA p67 490 490 - Tye Gloria laus 2ndCh p38 491 491 - Tye O come, ye servants of the Lord (Laudate nomen Domini) NOEAB p155; AfC1 p120 492 492 - Tye O God be merciful XVIAB p88 493 493 - Tye O Holy Spirit, Lord of grace NCAB p275 494 494 - Tye Sing unto the Lord XVIAB p58 495 495 - Vaet O quam gloriosum 5thCh p35 496 496 - Vann There is a flow'r sprung of a tree Adv p182 497 497 - Vaughan Williams Let us now praise famous men NCAB p212; NOEAB p130 498 498 - Vaughan Williams No sad thought his soul affright CfC1 p84 499 499 - Vaughan Williams O clap your hands AfC4 p197 500 500 - Vaughan Williams O how amiable NCAB p278; OEAB p181; AfC4 p152 501 501 - Vaughan Williams O little town of Bethlehem CfC1 p92 502 502 - Vaughan Williams O taste and see NOEAB p166; OEAB p106; AfC4 p86 503 503 - Vaughan Williams The Blessed son of God CfC1 p112 504 504 - Vaughan Williams (arr.) All in the morning CfC3 p122 505 505 - Vaughan Williams (arr.) Gloucestershire wassail CfC1 p160 506 506 - Vaughan Williams (arr.) This is the truth sent from above CfC2 p202; Adv p194 507 507 - Vaughan Williams (arr.) We've been a while a-wandering CfC1 p158 508 508 - Viadana Exsultate justi XVIAB p75; 1stCh p37 509 509 - Viadana We adore Thee, O Lord Christ OEAB p33 510 510 - Victoria Ave Maria 3rdCh p29 511 511 - Victoria Genitori genitoque XVIAB p66 512 512 - Victoria Jesu dulcis memoria NCAB p181 513 513 - Victoria Jesu, the very thought of Thee OEAB p153 514 514 - Victoria O magnum mysterium 3rdCh p32 515 515 - Victoria O quam gloriosum NCAB p316 516 516 - Victoria O vos omnes 3rdCh p36 517 517 - Victoria Popule meus Ash p150 518 518 - Victoria Pueri Hebraeorum Ash p94; 3rdCh p38 519 519 - Wade O come, all ye faithful CfC3 p137 520 520 - Wagner O Christ, O blessed Lord AfC1 p117 521 521 - Walford Davies Blest are the pure in heart NCAB p62 522 522 - Walford Davies God be in my head NCAB p140; NOEAB p76 523 523 - Walford Davies O little town of Bethlehem CfC3 p138 524 524 - Walford Davies O sons and daughters Ash p225 525 525 - Walford Davies (arr.) The holly and the ivy CfC2 p196 526 526 - Walmisley Not unto us, O Lord AfC1 p107 527 527 - Walter Verbum caro factum est 4thCh p39 528 528 - Walton A litany AfC4 p29 529 529 - Walton All this time CfC2 p13 530 530 - Walton Drop, drop, slow tears Ash p41 531 531 - Walton King Herod and the cock CfC3 p186 532 532 - Walton Set me as a seal AfC4 p82 533 533 - Walton What cheer? CfC1 p162 534 534 - Warrell (arr.) A merry Christmas CfC1 p60 535 535 - Waters I sing of a Maiden that is mateless OEAB p21 536 536 - Waters Virgin-born, we bow before thee NOEAB p242 537 537 - Weelkes Alleluia. I heard a voice OBTA p1 538 538 - Weelkes Gloria in excelsis Deo OBTA p72 539 539 - Weelkes Hosanna to the Son of David OBTA p113 540 540 - Weelkes O Lord, arise OBTA p209 541 541 - Weelkes When David heard OBTA p343 542 542 - Wesley Wash me throughly Ash p45 543 543 - Wesley, S. S. Blessed be the God and Father NCAB p64 544 544 - Wesley, S. S. Lead me, Lord NCAB p206; NOEAB p127; AfC1 p78 545 545 - Wesley, S. S. O Lord my God NCAB p288 546 546 - Wesley, S. S. Thou judge of quick and dead NCAB p458 547 547 - Wesley, S. S. Thou wilt keep him in perfect peace NCAB p482 548 548 - Wesley, S. S. Wash me throughly NCAB p502 549 549 - White A Prayer of St. Richard of Chichester OEAB p177 550 550 - Whitlock He is risen Ash p229 551 551 - Whyte O Christ, who art the light and day AfC1 p118 552 552 - Wilby God be in my head NOEAB p77 553 553 - Willaert O magnum mysterium 5thCh p38 554 554 - Willcocks Birthday carol CfC3 p149 555 555 - Willcocks Love divine, all loves excelling NOEAB p143 556 556 - Willcocks Unto us is born a son CfC1 p154 557 557 - Willcocks (arr.) A child this day is born CfC3 p16 558 558 - Willcocks (arr.) Angelus ad virginem CfC3 p26 559 559 - Willcocks (arr.) Blessed be that maid Mary CfC1 p23 560 560 - Willcocks (arr.) Boar's head carol CfC3 p171 561 561 - Willcocks (arr.) Christ was born on Christmas day CfC3 p46 562 562 - Willcocks (arr.) Come all you worthy gentlemen CfC3 p52 563 563 - Willcocks (arr.) Come, thou redeemer of the earth CfC2 p71 564 564 - Willcocks (arr.) Deck the hall CfC2 p22, CfC3 p54 (simpler arrangement) 565 565 - Willcocks (arr.) Ding Dong! Merrily on high CfC2 p28 566 566 - Willcocks (arr.) Gabriel's message CfC2 p191, CfC3 p170 (simpler arrangement) 567 567 - Willcocks (arr.) He smiles within his cradle CfC3 p86 568 568 - Willcocks (arr.) How far is it to Bethlehem? CfC2 p66 569 569 - Willcocks (arr.) Hush! my dear, lie still and slumber CfC3 p89 570 570 - Willcocks (arr.) I saw three ships CfC1 p54 571 571 - Willcocks (arr.) Il est né le divin enfant CfC3 p102 572 572 - Willcocks (arr.) Infant holy, infant lowly CfC1 p52 573 573 - Willcocks (arr.) Lo! he comes with clouds descending CfC3 p133 574 574 - Willcocks (arr.) Masters in this hall CfC2 p94 575 575 - Willcocks (arr.) O come, all ye faithful CfC1 p88 576 576 - Willcocks (arr.) O come, O come Emmanuel CfC2 p120 577 577 - Willcocks (arr.) Of the Father's heart begotten AfC1 p166 578 578 - Willcocks (arr.) Quelle est cette odeur agréable CfC2 p162 579 579 - Willcocks (arr.) Resonemus laudibus CfC2 p177 580 580 - Willcocks (arr.) Rocking CfC1 p70 581 581 - Willcocks (arr.) Shepherds, in the fields abiding CfC3 p164 582 582 - Willcocks (arr.) Sussex Carol CfC1 p96 583 583 - Willcocks (arr.) The cherry tree carol CfC2 p92 584 584 - Willcocks (arr.) The first Nowell CfC1 p126 585 585 - Willcocks (arr.) The infant king CfC2 p188 586 586 - Willcocks (arr.) The Lord at first did Adam make CfC2 p198 587 587 - Willcocks (arr.) Tomorrow shall be my dancing day CfC2 p203 588 588 - Willcocks (arr.) What child is this? CfC3 p187 589 589 - Wise Blessed is he that considereth NCAB p77 590 590 - Wood Never weather-beaten sail NCAB p253 591 591 - Wood O thou, the central orb NCAB p340; AfC4 p9; Adv p149 592 592 - Wood Oculi omnium NCAB p349 593 593 - Wood (arr.) A virgin most pure CfC1 p14 594 594 - Wood (arr.) God rest you merry, gentlemen CfC1 p29 595 595 - Wood (arr.) Hail! Blessed Virgin Mary CfC2 p50 596 596 - Wood (arr.) Once, as I remember CfC3 p148 597 597 - Wood (arr.) Past three a clock CfC1 p101 598 598 - Wood (arr.) This joyful Eastertide NOEAB p229; CfC3 p198 599 599 - Wood (harm.) Ding Dong! Merrily on high CfC1 p28 600 600 - Wood (harm.) King Jesus hath a garden CfC1 p68 1 1 + Composer Title Where Sung 2 2 + Aichinger Factus est repente 4thCh p2 3 3 + Aichinger Regina caeli 4thCh p7 4 4 + Amner Lift up your heads O ye gates XVIAB p41 5 5 + Amner O God my King AfC1 p130 6 6 + Anerio Alleluia. Christus surrexit Ash p156 7 7 + Anerio Christus factus est Ash p52; 1stCh p1 🟢 8 8 + Anerio, G. F. Requiem aeternam 1stCh p4 9 9 + Anon. Easter Alleluias: (a) Antiphon with psalm tone, (b) Plainchant Alleluia Ash p154 🟢 10 10 + Anon. Come, rock the cradle for him CfC3 p53 11 11 + Anon. (16th Century) O Lord, the maker of all thing XVIAB p85 12 12 + Anon. (16th Century) Rejoice in the Lord alway XVIAB p1; Adv p162 🟢 13 13 + Anon. (16th Century) This is the day XVIAB p32 14 14 + Arcadelt Haec dies NCAB p146; 5thCh p2 15 15 + Arcadelt O Lord, my God, to thee NCAB p293 16 16 + Arcadelt (attrib.) Ave Maria NOEAB p12 17 17 + Archer Advent Wreath Prayers Adv p16 18 18 + Archer And I saw a new heaven NOEAB p6 19 19 + Archer Ave Maria Adv p33 20 20 + Archer Creator of the stars of night Adv p56 21 21 + Archer Prayer for the Blessing of Light Adv p160 22 22 + Archer The Linden Tree Carol Adv p180 🟢 23 23 + Archer The Lord goes up NOEAB p210 24 24 + Archer (arr.) Alma redemptoris mater Adv p22 25 25 + Archer (arr.) On Jordan's bank Adv p146 26 26 + Archer (arr.) People, look East NOEAB p176 27 27 + Archer (arr.) The Angel Gabriel Adv p171 28 28 + Armstrong Gibbs Bless the Lord, O my soul OEAB p91 29 29 + Armstrong Gibbs O, praise God in His holiness OEAB p112 30 30 + Armstrong Gibbs The strife is o'er OEAB p46 31 31 + Armstrong Gibbs While the shepherds were watching CfC1 p168 32 32 + Arne Help me, O Lord OEAB p133 33 33 + Aston I give you a new commandment NOEAB p93 34 34 + Aston So they gave their bodies NCAB p416 35 35 + Attwood Come, Holy Ghost NCAB p100; NOEAB p40 36 36 + Attwood O God, who by the leading of a star AfC1 p123 37 37 + Attwood Teach me, O Lord NOEAB p206; AfC1 p196 38 38 + Attwood Turn thy face from my sins NCAB p494 39 39 + Bach, J.S. All people at this hour OEAB p78 40 40 + Bach, J.S. Awake us, Lord, and hasten AfC1 p34 41 41 + Bach, J.S. Awake, thou wintry earth NCAB p53 42 42 + Bach, J.S. Come sweetest death OEAB p134 43 43 + Bach, J.S. Dearest Lord Jesu OEAB p1 44 44 + Bach, J.S. Flocks in pastures green abiding OEAB p136 45 45 + Bach, J.S. Forget me not OEAB p141 46 46 + Bach, J.S. God is living, God is here AfC1 p212 47 47 + Bach, J.S. God is our hope and strength AfC1 p59 48 48 + Bach, J.S. Here lies He now OEAB p25 49 49 + Bach, J.S. Jesu, hope of men despairing OEAB p35 50 50 + Bach, J.S. Jesu, joy of man's desiring NCAB p185; NOEAB p101 🟢 51 51 + Bach, J.S. Jesu, lead my footsteps ever NCAB p193 52 52 + Bach, J.S. King of glory, King of peace NCAB p201 53 53 + Bach, J.S. St. Matthew Passion Loose, Novello edition 54 54 + Bach, J.S. Subdue us by Thy goodness NCAB p421 55 55 + Bach, J.S. Up, up, my heart! with gladness AfC1 p206 56 56 + Bach, J.S. Wie soll ich dich empfangen (from The Christmas Oratorio) Adv p213 57 57 + Bach, J.S. Ah! dearest Jesu (from The Christmas Oratorio) CfC3 p22 58 58 + Bach, J.S. And there were shepherds CfC1 p10 59 59 + Bach, J.S. With all thy hosts (from The Christmas Oratorio) CfC3 p22 60 60 + Bach, J.S. Zion hört die Wächter singen CfC2 p214 🟢 61 61 + Bach, J.S. (harm.) O little one sweet CfC1 p87 62 62 + Bain Brother James' Air NOEAB p30 63 63 + Bainton A babe is born I wys CfC2 p6 64 64 + Bairstow I sat down under his shadow AfC1 p74 🟢 65 65 + Bairstow Jesu, the very thought of thee NCAB p197 66 66 + Bairstow Let all mortal flesh keep silence AfC4 p88 67 67 + Bairstow Psalm 114 Ash p165 68 68 + Bairstow The day draws on with golden light NCAB p436 69 69 + Bairstow The Lamentation Ash p55 70 70 + Bairstow Though I speak with the tongues of men NCAB p484 71 71 + Bairstow (after Gibbons) Jesu, grant me this I pray Ash p60 72 72 + Ballet Lute-book lullaby CfC1 p108 73 73 + Barcrofte O almighty God AfC1 p112 74 74 + Barnard (arr.) In the heart where love is abiding Ash p100 75 75 + Batten Deliver us, O Lord our God XVIAB p99 76 76 + Batten Haste thee, O God AfC1 p64 77 77 + Batten Let my complaint come before thee XVIAB p24 78 78 + Batten Lord, we beseech thee XVIAB p20 79 79 + Batten O praise the Lord OBTA p251 80 80 + Batten O sing joyfully XVIAB p70 🟢 81 81 + Batten When the Lord turned again XVIAB p35 82 82 + Bax Lord, thou hast told us AfC4 p28 83 83 + Bennett Out of your sleep CfC2 p150 84 84 + Bennett Susanni CfC3 p18 85 85 + Bennett What sweeter music CfC3 p192 86 86 + Berkeley I sing of a maiden Adv p109 87 87 + Berlioz The Shepherd's farewell CfC1 p142 88 88 + Berry (arr.) Advent Antiphons (Latin) Adv p8 89 89 + Bevan There's a wideness in God's mercy NOEAB p224 90 90 + Bevan (arr.) O Thou who at Thy Eucharist did'st pray OEAB p99 91 91 + Bevan (arr) O love of whom is truth and light OEAB p144 92 92 + Blackwell (arr.) O Thou, whose all-redeeming might NOEAB p168 93 93 + Blow Let my prayer AfC1 p86 94 94 + Blow Praise the Lord, ye servants AfC1 p174 95 95 + Bohemian Brethren (arr. Guest) Zion, at thy shining gates Adv p214 96 96 + Bourgeois O gladsome light, O grace NCAB p273 97 97 + Bourgeois O strength and stay AfC1 p156 98 98 + Bourne Thou art God NOEAB p231 99 99 + Brahms Ah, thou poor world AfC1 p10 100 100 + Britten A boy was born CfC1 p4 101 101 + Britten A new year carol CfC2 p64 102 102 + Britten Corpus Christi Carrol Loose. Oxford Edition. 🟢 103 103 + Britten O be joyful in the Lord (Jubilate Deo) AfC4 p140 104 104 + Britten There is no rose CfC3 p181 105 105 + Bruckner Locus iste NCAB p222 🟢 106 106 + Bruckner Pange lingua (Of the glorious Body telling) Ash p104 107 107 + Bruckner Virga Jesse floruit Adv p204 108 108 + Bull In the departure of the Lord Ash p123 109 109 + Bullard For all thy saints NOEAB p65 110 110 + Bullard Praise ye the Lord NOEAB p180 111 111 + Bullard Star of the East NOEAB p198 112 112 + Bullard The Feast of Palms Ash p74 113 113 + Bullock Give us the wings of faith AfC4 p128 114 114 + Bullock Good Christian men rejoice and sing OEAB p38 115 115 + Bullock (arr.) Give laud unto the Lord OEAB p64 116 116 + Byrd Ave verum corpus NCAB p38; OBTA p44; 2ndCh p2 🟢 117 117 + Byrd Cibavit eos 2ndCh p6 118 118 + Byrd Civitas sancti tui Ash p4 🟢 119 119 + Byrd Haec dies OBTA p84 🟢 120 120 + Byrd Justorum animae OBTA p131 121 121 + Byrd Laetentur coeli OBTA p137 122 122 + Byrd Mass for five voices Loose. Chester edition 🟢 123 123 + Byrd Miserere mei OBTA p157 124 124 + Byrd O quam gloriosum OBTA p256 125 125 + Byrd Sacerdotes Domini NCAB p399; XVIAB p55 126 126 + Byrd Senex puerum 2ndCh p10 127 127 + Byrd Sing joyfully OBTA p287 🟢 128 128 + Byrd Teach me, O Lord OBTA p298 129 129 + Byrd This day Christ was born OBTA p307 130 130 + Byrd Venite comedite 2ndCh p13 131 131 + Campbell (arr.) Praise to God in the highest AfC1 p179 132 132 + Carter For the beauty of the earth NOEAB p70 133 133 + Carter Holy Spirit, truth divine NOEAB p84 134 134 + Carter Mary's Magnificat NCAB p231 135 135 + Carter O Lord, open thou our lips NCAB p295 136 136 + Carter (arr.) Angelus ad Virginem Adv p24 🟢 137 137 + Carter (arr.) Joy is come NOEAB p116; Ash p167 138 138 + Cashmore (after Praetorius) Es ist ein Ros' entsprungen 74Adv p 139 139 + Charpentier Salve puerule CfC3 p154 140 140 + Chilcott Be thou my vision NOEAB p23 141 141 + Chilcott God so loved the world Ash p64 142 142 + Chilcott Nova! nova! Adv p137 143 143 + Chilcott (arr.) Were you there? Ash p126 144 144 + Clarke-Whitfeld Behold, how good and joyful AfC1 p38 145 145 + Clemens non Papa Crux fidelis 5thCh p5 146 146 + Cleobury (arr.) Advent Antiphons (English) Adv p3 🟢 147 147 + Cleobury (arr.) Advent Prose (English) Adv p11 🟢 148 148 + Cleobury (arr.) Advent Prose (Latin) Adv p14 🟢 149 149 + Cleobury (arr.) Come, thou Redeemer of the earth Adv p54 150 150 + Cleobury (arr.) Let all mortal flesh keep silence Adv p115 151 151 + Cleobury (arr.) Man, assay Adv p127 152 152 + Cleobury (arr.) The Cherry Tree Carol Adv p174 153 153 + Coleman (arr.) Ye servants of God OEAB p108 154 154 + Cooke O men from the fields CfC1 p94 155 155 + Cope He is risen OEAB p42 156 156 + Cope Pleasure it is OEAB p88 157 157 + Cornelius The Three Kings CfC1 p136 🟢 158 158 + Corrêa O vos omnes NOEAB p174; AfC1 p163 159 159 + Croce O sacrum convivium 1stCh p6 160 160 + Croce O vos omnes Ash p129 161 161 + Crotch Be peace on earth OEAB p147 162 162 + Crotch Comfort, O Lord, the soul of thy servant NCAB p110 163 163 + Darke Communion Service in F Loose. Oxford Edition. 🟢 164 164 + Darlington (arr.) Jacob's Ladder Adv p110 165 165 + de Séverac Tantum ergo Ash p108 166 166 + Dering Above Him stood the Seraphim OEAB p155 167 167 + Dering Factum est silentium OBTA p57 168 168 + Dowland He that is down needs fear no fall OEAB p160 169 169 + Dowland My spirit longs for Thee OEAB p102 170 170 + Drayton Jesu dulcis memoria AfC4 p166 171 171 + Drese Round me falls the night NCAB p381 172 172 + Ebeling All my heart this night rejoices CfC2 p12 173 173 + Eccard When to the temple Mary went NCAB p516 174 174 + Elgar Ave verum corpus NCAB p44 🟢 175 175 + Elgar Dream of Gerontius Loose. 1900 Novello edition 176 176 + Elgar Light of the World Ash p170 177 177 + Elgar O salutaris Hostia No. 3 NOEAB p157 178 178 + Ellis There is no rose NOEAB p221 🟢 179 179 + Esquivel Ego sum panis vivus 3rdCh p2 180 180 + Este's Psalter While shepherds watched their flocks by night CfC1 p166 (arr. Ravenscroft), CfC2 p210 (arr. Willcocks) 🟢 181 181 + Farrant Call to remembrance NCAB p87; OBTA p50 🟢 182 182 + Farrant Hide not thou thy face NCAB p151; OBTA p94 🟢 183 183 + Farrant (attrib.) Lord, for thy tender mercy's sake NOEAB p138; NCAB p224; OBTA p152; Ash p13 🟢 184 184 + Farrar Almighty God, the fountain of all wisdom AfC1 p24 185 185 + Ferguson (arr.) People look East Adv p157 186 186 + Ford Almighty God, which hast me brought NCAB p21; AfC1 p28 187 187 + Foster Christ the Lord is risen again! NOEAB p39 188 188 + Gardiner Evening Hymn NCAB p120 189 189 + Gauntlett Once in royal David's city CfC1 p100 (arr. Mann), CfC2 p148 (arr. Mann and Willcocks) 🟢 190 190 + Gesius Hosianna dem Sohne Davids Ash p82 🟢 191 191 + Gibbons Almighty and everlasting God NCAB p18; OBTA p15 🟢 192 192 + Gibbons Drop, drop, slow tears NOEAB p52; NCAB p116 🟢 193 193 + Gibbons Hosanna to the Son of David OBTA p99 194 194 + Gibbons O clap your hands OBTA p164 195 195 + Gibbons O Lord, in thy wrath OBTA p231 196 196 + Gibbons Song 44 AfC1 p46 197 197 + Gibbons Song 46 AfC1 p30 198 198 + Gibbons This is the record of John NCAB p454; OBTA p318 🟢 199 199 + Gilbert Let all the world OEAB p119 200 200 + Goldschmidt A tender shoot Adv p31 201 201 + Goss God so loved the world NCAB p145 202 202 + Goss If we believe NCAB p168 203 203 + Goss O pray for the peace of Jerusalem AfC1 p146 204 204 + Goss O Saviour of the world NCAB p323; NOEAB p163 🟢 205 205 + Goss See amid the winter's snow CfC1 p103 206 206 + Goss These are they which follow the Lamb AfC1 p200 207 207 + Greene Thou visitest the earth NCAB p473 🟢 208 208 + Gritton Lord that descendedst, Holy Child AfC1 p98 209 209 + Gruber Stille Nacht CfC2 p184 (arr. Willcocks), CfC3 p168 (arr. Cashmore) 🟢 210 210 + Guerrero Canite tuba Adv p49; 3rdCh p5 211 211 + Guerrero Gloriose confessor 3rdCh p9 212 212 + Hadley I sing of a maiden CfC2 p86 213 213 + Halls Hosanna to the Son of David NOEAB p88 214 214 + Halls Wash me throughly NOEAB p244 215 215 + Händel Ecce quomodo moritur justus Ash p67 216 216 + Händel Lord, I trust thee NCAB p228; NOEAB p140; AfC1 p95 217 217 + Händel Zadok the Priest NCAB p541 🟢 218 218 + Handl Ecce concipies Adv p68; 4thCh p9 219 219 + Handl Ecce quomodo 4thCh p12 220 220 + Handl Resonet in laudibus 4thCh p15 221 221 + Hare Thou, O God, art praised in Sion AfC4 p94 222 222 + Harris Behold, the tabernacle of God NCAB p58 223 223 + Harris Come down, O Love divine NCAB p94 224 224 + Harris Faire is the heaven AfC4 p100 225 225 + Harris Fear not, O land NOEAB p57 226 226 + Harris Holy is the true light NCAB p164 227 227 + Harris Most glorious Lord of life OEAB p163; Ash p182 228 228 + Harris Vexilla Regis Cunctis (Tarry no longer; toward thine heritage) OEAB p167 229 229 + Harris (arr.) O strength and stay AfC1 p156 230 230 + Hassler Cantate Domino 4thCh p18 🟢 231 231 + Hassler Laetentur caeli 4thCh p21 232 232 + Hassler Tu es Petrus 4thCh p24 233 233 + Hilton Lord, for Thy tender mercy's sake OEAB p27 234 234 + Hoddinott Puer natus AfC4 p18 235 235 + Holst In the bleak mid-winter CfC3 p93 🟢 236 236 + Holst Turn back O Man NCAB p488; AfC4 p188 🟢 237 237 + Holst (arr.) Personent Hodie CfC2 p160 238 238 + Hopkins Kings of the Orient CfC3 p190 239 239 + How Advent Message NOEAB p2 240 240 + How Day by day NOEAB p49 🟢 241 241 + How Praise, O praise NCAB p359 242 242 + Howells Like as the hart AfC4 p158 🟢 243 243 + Howells My eyes for beauty pine NCAB p235; NOEAB p152; OEAB p169 🟢 244 244 + Howells Tryste noel CfC3 p172 245 245 + Hurford Litany to the Holy Spirit NOEAB p133 246 246 + Hurford Sunny bank CfC3 p36 247 247 + Hutchings Hosanna to the Son of David Ash p84 248 248 + Ingegneri In monte oliveti 1stCh p10 249 249 + Ireland Greater love hath no man AfC4 p174 🟢 250 250 + Isaac Gustate et videte 5thCh p9 251 251 + Isaac Ierusalem surge 5thCh p11 252 252 + Isom King of all ages, throned on high NOEAB p123 🟢 253 253 + Ives, G. Ride on Ash p87 254 254 + Ives, G. This is the record of John Adv p187 255 255 + Jackson I look from afar Adv p101 256 256 + Jackson Lift up your heads AfC4 p43 257 257 + Jackson Lo, God is here AfC1 p88 258 258 + Jackson Tomorrow go ye forth Adv p195 259 259 + Jacob O Lord, I will praise Thee OEAB p123 260 260 + Jacques I saw three ships CfC1 p56 261 261 + Jacques When Christ was born CfC1 p165 262 262 + Jacques (arr.) Angels, from the realms of glory CfC1 p16 263 263 + Jacques (arr.) Away in a manger CfC1 p3 🟢 264 264 + Jacques (arr.) Patapan CfC2 p212 265 265 + Jacques (arr.) Rejoice and be merry CfC1 p102 266 266 + Jacques (arr.) The Holly and the Ivy CfC1 p130 🟢 267 267 + Jacques (arr.) The linden tree carol CfC1 p110 268 268 + John IV Crux fidelis NCAB p112; Ash p136 🟢 269 269 + Johnson Dum transisset 2ndCh p16 270 270 + Josquin des Près Ave Maria 5thCh p13 🟢 271 271 + Josquin des Près Tu solus 5thCh p21 272 272 + Joubert O Lorde, the maker of al thing NCAB p310 273 273 + Joubert Torches CfC1 p150 274 274 + Kirkpatrick Away in a manger CfC1 p2 275 275 + Kocher As with gladness men of old CfC1 p8 276 276 + Kodály (arr.) A Christmas Carol CfC1 p18 277 277 + Lassus Adoramus te. Christe Ash p69 🟢 278 278 + Lassus Improperium 5thCh p25 279 279 + Lassus Jubilate Deo 5thCh p28 280 280 + Lassus Scio enim 5thCh p31 281 281 + Lassus Super flumina Babylonis NCAB p431 282 282 + Ledger Adam lay ybounden Adv p1 283 283 + Ledger Loving Shepherd of thy sheep NOEAB p148 284 284 + Ledger (arr.) This joyful Eastertide Ash p186 285 285 + Leighton A hymn to the Trinity AfC4 p67 286 286 + Leighton Solus ad victimam NCAB p413; AfC1 p13 287 287 + Leuner The shepherds' cradle song CfC2 p123 288 288 + Ley Come, Thou long expected Jesus OEAB p4 289 289 + Ley Lo, round the throne a glorious band NCAB p215 🟢 290 290 + Ley The strife is o'er NCAB p448 291 291 + Ley (arr.) A Choral Hymn for Advent or Ascensiontide) OEAB p68 292 292 + Lindley (arr.) Now the green blade riseth Ash p190 293 293 + Lloyd Drop down, ye heavens Adv p61 294 294 + Lole Jesu, the very thought of thee NOEAB p108 295 295 + Loosemore O Lord, increase our faith NCAB p284 296 296 + Loosemore The Litany (BCP) Ash p17 🟢 297 297 + Lord A prayer for peace AfC4 p172 298 298 + Lord Most glorious Lord of Lyfe! AfC1 p101 299 299 + Lully (attrib.) Far away, what splendour comes this way? NOEAB p54 300 300 + Malcolm Ingrediente Domino Ash p92 301 301 + Manz E'en so Lord Jesus, Quickly Come Adv p72 302 302 + Marchant The souls of the righteous NCAB p443; OEAB p97 303 303 + Marenzio O rex gloriae 1stCh p13 304 304 + Marenzio Tribus miraculis 1stCh p16 305 305 + Marshall The Litany (ASB) Ash p24 306 306 + Mathias A Babe is born CfC3 p4 307 307 + Mathias Lift up your heads, O ye gates AfC1 p81 🟢 308 308 + Mathias Make a joyful noise (Jubilate Deo) AfC4 p134 309 309 + Mathias Salve regina NCAB p404 310 310 + Mathias Sir Christèmas CfC2 p114 311 311 + McKie We wait for thy loving kindness AfC4 p77 🟢 312 312 + Mendelssohn Above all praise NCAB p10; OEAB p74 313 313 + Mendelssohn Hark! the herald angels sing CfC1 p39 (with Willcocks descant), CfC3 p68 🟢 314 314 + Mendelssohn How lovely are the messengers (from Saint Paul) Adv p92 315 315 + Mendelssohn Sleepers, wake AfC1 p192 316 316 + Mendelssohn When Jesus, our Lord NCAB p512 317 317 + Monteverdi Christe, Redemptor omnium CfC3 p49 318 318 + Moore Antiphon NCAB p24 319 319 + Moore Magnificat in B flat Adv p121 320 320 + Morales Peccantem me quotidie Ash p27; 3rdCh p13 321 321 + Morales Regina caeli 3rdCh p16 322 322 + Morales Simile est regnum 3rdCh p19 323 323 + Morgan A Palm Sunday Antiphon NCAB p5 324 324 + Morley Agnus Dei Ash p33; 2ndCh p20 325 325 + Morley Eheu, sustulerunt Ash p139 326 326 + Morley Nolo mortem peccatoris NCAB p259; XVIAB p13 🟢 327 327 + Mozart Ave verum corpus NCAB p48; NOEAB p14; OEAB p29 🟢 328 328 + Mozart Grosse Messe Loose; Breitkopf edition 329 329 + Mudd Let thy merciful ears, O Lord NCAB p209; OBTA p147 330 330 + Mundy O Lord, the maker of all things NCAB p302; OBTA p240 331 331 + Near There is no rose Adv p184 🟢 332 332 + Nicolai (arr. Bach, J.S.) Wachet auf! Adv p211 🟢 333 333 + Oldroyd (arr.) Ye watchers and ye holy ones OEAB p84 334 334 + Ord Adam lay ybounden CfC2 p10 🟢 335 335 + Ortiz Ianitor caeli 3rdCh p23 336 336 + Ouseley From the rising of the sun AfC1 p49 337 337 + Ouseley How goodly are thy tents AfC1 p70 338 338 + Oxley My shepherd is Lord NCAB p238 339 339 + Palestrina Adoramus te, Christe NCAB p14 🟢 340 340 + Palestrina Alma redemptoris mater 1stCh p20 🟢 341 341 + Palestrina Benedictus qui venit (from Missa Quarta) XVIAB p28 342 342 + Palestrina Come, Thou Holy Spirit, come OEAB p80 343 343 + Palestrina Ego sum panis vivus 1stCh p23 🟢 344 344 + Palestrina Exaltabo te Domine Loose. Chester edition 345 345 + Palestrina Fuit homo missus a Deo Adv p79 346 346 + Palestrina Matin Responsory Adv p130; CfC2 p68 🟢 347 347 + Palestrina Missa Brevis Loose. Chester edition 🟢 348 348 + Palestrina O Bone Iesu (4v) OEAB p104 🟢 349 349 + Palestrina Salvator mundi NCAB p401 350 350 + Palestrina Sanctus (from Missa Quarta) XVIAB p51 351 351 + Palestrina Sicut cervus 1stCh p27 🟢 352 352 + Palestrina Super flumina 1stCh p31 🟢 353 353 + Palestrina Vesper Responsory Adv p203 🟢 354 354 + Parry My soul, there is a country NCAB p244 🟢 355 355 + Parry I was glad when they said unto me Loose. Novello edition 🟢 356 356 + Parsons Ave Maria OBTA p32 🟢 357 357 + Pärt Bogoroditsye Dyevo Adv p46 358 358 + Pearsall Ave verum corpus NOEAB p18 359 359 + Pearsall In dulci jubilo CfC1 p42 🟢 360 360 + Peeters Ave verum corpus Ash p110 361 361 + Pettman (arr.) I saw a maiden CfC2 p83 362 362 + Philips Ascendit Deus OBTA p22 🟢 363 363 + Philips Surgens Jesus NCAB p431 364 364 + Piæ Cantiones (arr. Jaques) Good King Wenceslas CfC1 p34 365 365 + Piæ Cantiones (arr. Willcocks) Of the Father's heart begotten CfC2 p128 366 366 + Piæ Cantiones (arr. Woodward) Up! good Christen folk, and listen CfC1 p157 367 367 + Piæ Cantiones arr. Archer Long ago, prophets knew Adv p119 368 368 + Piccolo O come, let us sing unto the Lord NCAB p266 369 369 + Pitoni Cantate Domino NCAB p92; NOEAB p34; AfC1 p44 🟢 370 370 + Poston Jesus Christ the Apple Tree Adv p113 🟢 371 371 + Poston (arr.) The Boar's head carol CfC1 p117 372 372 + Praetorius A great and mighty wonder CfC1 p1 🟢 373 373 + Praetorius Omnis mundis jocundetur CfC3 p144 374 374 + Praetorius Psallite unigenito CfC3 p146 375 375 + Praetorius Puer natus est nobis 4thCh p28 376 376 + Praetorius Salve rex noster 4thCh p29 377 377 + Psalmodia Sacra (arr. Willcocks) Bethlehem, of noblest cities CfC3 p40 378 378 + Purcell O God the King of glory AfC1 p136 379 379 + Purcell Rejoice in the Lord alway NCAB p381 380 380 + Purcell Thou knowest, Lord NCAB p463; NOEAB p236 🟢 381 381 + Purcell, D. I will thank thee, O Lord NOEAB p96 382 382 + Rachmaninoff To thee, O Lord AfC1 p203 383 383 + Ravenscroft Remember, O thou man Adv p170 384 384 + Rawsthorne Like as the hart Ash p37 385 385 + Ridout A Pure River of Water of Life AfC4 p63 386 386 + Rivaflecha Anima mea 3rdCh p26 387 387 + Rowley (arr.) Shepherds loud their praises singing OEAB p15 388 388 + Rudolph Jesu, the very thought of thee NOEAB p113 389 389 + Rudolph Veiled in darkness Adv p199 390 390 + Rutter A Gaelic Blessing NCAB p1 🟢 391 391 + Rutter Christ the Lord is risen again AfC4 p33; Ash p194 392 392 + Rutter Donkey carol CfC3 p55 393 393 + Rutter God be in my head NCAB p141 394 394 + Rutter Jesus Child CfC3 p74 395 395 + Rutter Nativity carol CfC2 p16 396 396 + Rutter O clap your hands AfC4 p53 🟢 397 397 + Rutter Praise ye the Lord AfC1 p184 398 398 + Rutter Shepherd's pipe carol CfC2 p39 🟢 399 399 + Rutter Star carol CfC3 p157 400 400 + Rutter The peace of God NOEAB p215 401 401 + Rutter Thy perfect love NOEAB p238 402 402 + Rutter (arr.) Angel tidings CfC3 p106 403 403 + Rutter (arr.) Child in a manger CfC3 p42 404 404 + Rutter (arr.) Cradle song CfC3 p112 405 405 + Rutter (arr.) Down in yon forest CfC2 p32 406 406 + Rutter (arr.) Flemish carol CfC3 p31 407 407 + Rutter (arr.) Here we come a-wassailing CfC2 p51 🟢 408 408 + Rutter (arr.) I saw three ships CfC3 p94 🟢 409 409 + Rutter (arr.) Il est né le divin enfant CfC2 p74 🟢 410 410 + Rutter (arr.) In dulci jubilo CfC3 p116 411 411 + Rutter (arr.) King Jesus hath a garden CfC3 p123 412 412 + Rutter (arr.) Noël nouvelet CfC2 p100 413 413 + Rutter (arr.) O come, O come Immanuel Adv p141 414 414 + Rutter (arr.) Past three a clock CfC2 p153 🟢 415 415 + Rutter (arr.) Quem pastores laudavere CfC2 p166 416 416 + Rutter (arr.) Quittez, Pasteurs CfC2 p169 417 417 + Rutter (arr.) Sans Day Carol CfC2 p107 418 418 + Rutter (arr.) The twelve days of Christmas CfC2 p134 419 419 + Rutter (arr.) Wexford Carol CfC3 p69 🟢 420 420 + Saint-Saëns Ave verum corpus NOEAB p21 421 421 + Saint-Saëns Panis angelicus NCAB p357 422 422 + Sanders The Reproaches Ash p143 423 423 + Sargent (arr.) Zither Carol CfC1 p32 424 424 + Scheidt A child is born in Bethlehem CfC2 p7 425 425 + Scheidt Surrexit Christus hodie Ash p202 426 426 + Schein (arr.) A babe is born in Bethlehem CfC3 p15 427 427 + Schubert Holy, holy, holy NOEAB p83 428 428 + Schubert Where Thou reignest NCAB p523 429 429 + Schütz Praise to thee, Lord Jesus NCAB p366 430 430 + Scott Easter Anthems Ash p208 431 431 + Scott (arr.) I saw water (Vidi aquam) Ash p155 432 432 + Scott (arr.) Lent Prose Ash p1 433 433 + Scott (arr.) O mortal man Ash p132 434 434 + Senfl Deus in adiutorium 4thCh p34 435 435 + Shaw Kings in glory OEAB p22 436 436 + Shaw (arr.) Coventry Carol CfC1 p82 🟢 437 437 + Shephard A new commandment Ash p114 438 438 + Shephard Never, weather-beaten sail Adv p133 439 439 + Shephard Sing, my tongue Ash p115 440 440 + Shephard Song of Mary NOEAB p189 🟢 441 441 + Shephard The Easter Song of Praise Ash p212 442 442 + Shephard The secret of Christ NCAB p438 443 443 + Shepherd In manus tuas 2ndCh p22 444 444 + Somervell O Saviour of the world NCAB p330 445 445 + Soriano Regina caeli 1stCh p35 446 446 + Stainer God so loved the world NOEAB p81; Ash p72 🟢 447 447 + Stainer How beautiful upon the mountains Adv p87 448 448 + Stanford Benedictus in C Adv p38 449 449 + Stanford Glorious and Powerful God NCAB p129 450 450 + Stanford Pray that Jerusalem NCAB p372 451 451 + Stanford Ye choirs of new Jerusalem AfC1 p215; Ash p216 🟢 452 452 + Stanford (arr.) O for a closer walk AfC1 p142 453 453 + Stanton Alleluia! Hearts to Heaven OEAB p52 454 454 + Stanton Christ is the world's true Light OEAB p9 455 455 + Statham Drop down, ye heavens OEAB p172 456 456 + Sterndale Bennett God is a spirit NCAB p142 457 457 + Sterndale Bennett O that I knew where I might find him! NCAB p336 458 458 + Stevens (arr.) Sing we to this merry company CfC3 p166 459 459 + Stevens (arr.) There is no rose CfC2 p190 🟢 460 460 + Stewart On this day earth shall ring AfC4 p24 461 461 + Stone The Lord's Prayer AfC1 p172 462 462 + Sullivan (arr.) It came upon the midnight clear CfC2 p89 (with Willcocks descant), CfC1 p59 463 463 + Sweelinck How brightly beams the morning star! NOEAB p90 🟢 464 464 + Tallis A new commandment FaberTal p9 🟢 465 465 + Tallis Audivi, media nocte XVIAB p8 466 466 + Tallis Discomfit them, O Lord FaberTal p24 467 467 + Tallis Euge caeli 2ndCh p25 468 468 + Tallis I call and cry to thee, O Lord FaberTal p13 469 469 + Tallis If ye love me NCAB p177; NOEAB p98; OBTA p122; FaberTal p4 🟢 470 470 + Tallis O Lord, give thy Holy Spirit XVIAB p47; FaberTal p11 🟢 471 471 + Tallis O nata lux OBTA p248 🟢 472 472 + Tallis Hear the voice and prayer FaberTal p6 🟢 473 473 + Tallis Salvator mundi OBTA p273 🟢 474 474 + Tallis Sancte Deus 2ndCh p27 475 475 + Tallis Verily, verily I say unto you AfC1 p208 🟢 476 476 + Tallis Why fumeth in sight FaberTal p13 477 477 + Tallis With all our heart FaberTal p21 478 478 + Tallis (attrib.) All people that on earth do dwell AfC1 p18 479 479 + Tate Carol, with lullaby CfC1 p72 480 480 + Taverner Alleluia 2ndCh p33 481 481 + Taverner Audivi 2ndCh p35 482 482 + Tchaikovsky Holy, Holy, Holy (Hymn to the Trinity) NCAB p155 483 483 + Tchaikovsky The crown of roses CfC3 p196 484 484 + Terry Myn lyking CfC2 p84 485 485 + Terry Richard de Castre's Prayer to Jesus (Jhesu, Lord, that mades me) OEAB p175 486 486 + Thatcher Come, ye faithful NCAB p104; NOEAB p44; OEAB p58 487 487 + Thorne Christ is our Cornerstone NOEAB p36 488 488 + Tomblings All from the sun's uprise OEAB p129 489 489 + Tomkins I heard a voice OBTA p126 490 490 + Tomkins O pray for the peace of Jerusalem XVIAB p101 491 491 + Tomkins When David heard OBTA p332 492 492 + Trevor (arr.) The angels and the shepherds CfC2 p182 493 493 + Turner O Trinity, most blessed light AfC1 p159 494 494 + Tye A sound of angels AfC1 p1 495 495 + Tye Give almes of thy goods AfC1 p54; OBTA p67 496 496 + Tye Gloria laus 2ndCh p38 497 497 + Tye O come, ye servants of the Lord (Laudate nomen Domini) NOEAB p155; AfC1 p120 498 498 + Tye O God be merciful XVIAB p88 499 499 + Tye O Holy Spirit, Lord of grace NCAB p275 500 500 + Tye Sing unto the Lord XVIAB p58 501 501 + Vaet O quam gloriosum 5thCh p35 502 502 + Vann There is a flow'r sprung of a tree Adv p182 503 503 + Vaughan Williams Let us now praise famous men NCAB p212; NOEAB p130 504 504 + Vaughan Williams No sad thought his soul affright CfC1 p84 505 505 + Vaughan Williams O clap your hands AfC4 p197 506 506 + Vaughan Williams O how amiable NCAB p278; OEAB p181; AfC4 p152 🟢 507 507 + Vaughan Williams O little town of Bethlehem CfC1 p92 🟢 508 508 + Vaughan Williams O taste and see NOEAB p166; OEAB p106; AfC4 p86 🟢 509 509 + Vaughan Williams The Blessed son of God CfC1 p112 510 510 + Vaughan Williams (arr.) All in the morning CfC3 p122 511 511 + Vaughan Williams (arr.) Gloucestershire wassail CfC1 p160 🟢 512 512 + Vaughan Williams (arr.) This is the truth sent from above CfC2 p202; Adv p194 🟢 513 513 + Vaughan Williams (arr.) We've been a while a-wandering CfC1 p158 514 514 + Viadana Exsultate justi XVIAB p75; 1stCh p37 515 515 + Viadana We adore Thee, O Lord Christ OEAB p33 516 516 + Victoria Ave Maria 3rdCh p29 🟢 517 517 + Victoria Genitori genitoque XVIAB p66 🟢 518 518 + Victoria Jesu dulcis memoria NCAB p181 🟢 519 519 + Victoria Jesu, the very thought of Thee OEAB p153 520 520 + Victoria O magnum mysterium 3rdCh p32 🟢 521 521 + Victoria O quam gloriosum NCAB p316 🟢 522 522 + Victoria O vos omnes 3rdCh p36 🟢 523 523 + Victoria Popule meus Ash p150 524 524 + Victoria Pueri Hebraeorum Ash p94; 3rdCh p38 🟢 525 525 + Wade O come, all ye faithful CfC3 p137 526 526 + Wagner O Christ, O blessed Lord AfC1 p117 527 527 + Walford Davies Blest are the pure in heart NCAB p62 528 528 + Walford Davies God be in my head NCAB p140; NOEAB p76 529 529 + Walford Davies O little town of Bethlehem CfC3 p138 🟢 530 530 + Walford Davies O sons and daughters Ash p225 531 531 + Walford Davies (arr.) The holly and the ivy CfC2 p196 🟢 532 532 + Walmisley Not unto us, O Lord AfC1 p107 533 533 + Walter Verbum caro factum est 4thCh p39 534 534 + Walton A litany AfC4 p29 535 535 + Walton All this time CfC2 p13 536 536 + Walton Drop, drop, slow tears Ash p41 537 537 + Walton King Herod and the cock CfC3 p186 538 538 + Walton Set me as a seal AfC4 p82 539 539 + Walton What cheer? CfC1 p162 540 540 + Warrell (arr.) A merry Christmas CfC1 p60 541 541 + Waters I sing of a Maiden that is mateless OEAB p21 🟢 542 542 + Waters Virgin-born, we bow before thee NOEAB p242 543 543 + Weelkes Alleluia. I heard a voice OBTA p1 544 544 + Weelkes Gloria in excelsis Deo OBTA p72 545 545 + Weelkes Hosanna to the Son of David OBTA p113 🟢 546 546 + Weelkes O Lord, arise OBTA p209 547 547 + Weelkes When David heard OBTA p343 🟢 548 548 + Wesley, S. S. Blessed be the God and Father NCAB p64 🟢 549 549 + Wesley, S. S. Lead me, Lord NCAB p206; NOEAB p127; AfC1 p78 🟢 550 550 + Wesley, S. S. O Lord my God NCAB p288 551 551 + Wesley, S. S. Thou judge of quick and dead NCAB p458 552 552 + Wesley, S. S. Thou wilt keep him in perfect peace NCAB p482 🟢 553 553 + Wesley, S. S. Wash me throughly NCAB p502; Ash p45 554 554 + White A Prayer of St. Richard of Chichester OEAB p177 555 555 + Whitlock He is risen Ash p229 556 556 + Whyte O Christ, who art the light and day AfC1 p118 557 557 + Wilby God be in my head NOEAB p77 558 558 + Willaert O magnum mysterium 5thCh p38 559 559 + Willcocks Birthday carol CfC3 p149 560 560 + Willcocks Love divine, all loves excelling NOEAB p143 🟢 561 561 + Willcocks Unto us is born a son CfC1 p154 562 562 + Willcocks (arr.) A child this day is born CfC3 p16 563 563 + Willcocks (arr.) Angelus ad virginem CfC3 p26 🟢 564 564 + Willcocks (arr.) Blessed be that maid Mary CfC1 p23 565 565 + Willcocks (arr.) Boar's head carol CfC3 p171 566 566 + Willcocks (arr.) Christ was born on Christmas day CfC3 p46 567 567 + Willcocks (arr.) Come all you worthy gentlemen CfC3 p52 🟢 568 568 + Willcocks (arr.) Come, thou redeemer of the earth CfC2 p71 🟢 569 569 + Willcocks (arr.) Deck the hall CfC2 p22, CfC3 p54 (simpler arrangement) 🟢 570 570 + Willcocks (arr.) Ding Dong! Merrily on high CfC2 p28 🟢 571 571 + Willcocks (arr.) Gabriel's message CfC2 p191, CfC3 p170 (simpler arrangement) 🟢 572 572 + Willcocks (arr.) He smiles within his cradle CfC3 p86 573 573 + Willcocks (arr.) How far is it to Bethlehem? CfC2 p66 574 574 + Willcocks (arr.) Hush! my dear, lie still and slumber CfC3 p89 575 575 + Willcocks (arr.) I saw three ships CfC1 p54 576 576 + Willcocks (arr.) Il est né le divin enfant CfC3 p102 🟢 577 577 + Willcocks (arr.) Infant holy, infant lowly CfC1 p52 578 578 + Willcocks (arr.) Lo! he comes with clouds descending CfC3 p133 579 579 + Willcocks (arr.) Masters in this hall CfC2 p94 580 580 + Willcocks (arr.) O come, all ye faithful CfC1 p88 🟢 581 581 + Willcocks (arr.) O come, O come Emmanuel CfC2 p120 🟢 582 582 + Willcocks (arr.) Of the Father's heart begotten AfC1 p166 583 583 + Willcocks (arr.) Quelle est cette odeur agréable CfC2 p162 584 584 + Willcocks (arr.) Resonemus laudibus CfC2 p177 585 585 + Willcocks (arr.) Rocking CfC1 p70 586 586 + Willcocks (arr.) Shepherds, in the fields abiding CfC3 p164 587 587 + Willcocks (arr.) Sussex Carol CfC1 p96 🟢 588 588 + Willcocks (arr.) The cherry tree carol CfC2 p92 589 589 + Willcocks (arr.) The first Nowell CfC1 p126 🟢 590 590 + Willcocks (arr.) The infant king CfC2 p188 591 591 + Willcocks (arr.) The Lord at first did Adam make CfC2 p198 592 592 + Willcocks (arr.) Tomorrow shall be my dancing day CfC2 p203 593 593 + Willcocks (arr.) What child is this? CfC3 p187 594 594 + Wise Blessed is he that considereth NCAB p77 595 595 + Wood Never weather-beaten sail NCAB p253 596 596 + Wood O thou, the central orb NCAB p340; AfC4 p9; Adv p149 🟢 597 597 + Wood Oculi omnium NCAB p349 598 598 + Wood (arr.) A virgin most pure CfC1 p14 599 599 + Wood (arr.) God rest you merry, gentlemen CfC1 p29 600 600 + Wood (arr.) Hail! Blessed Virgin Mary CfC2 p50 601 601 + Wood (arr.) Once, as I remember CfC3 p148 602 602 + Wood (arr.) Past three a clock CfC1 p101 603 603 + Wood (arr.) This joyful Eastertide NOEAB p229; CfC3 p198 🟢 604 604 + Wood (harm.) King Jesus hath a garden CfC1 p68 605 605 + Wood (harm.) Ding Dong! Merrily on high CfC1 p28 🟢

+295

trees/isa-0002.tree

reviewed

··· 1 1 + \date{2025-11-25} 2 2 + \author{liamoc} 3 3 + \title{Natural Deduction} 4 4 + \taxon{Lecture} 5 5 + \import{shiki-macros} 6 6 + \put\shiki/language{Isabelle Theory} 7 7 + 8 8 + \transclude{isa-0003} 9 9 + 10 10 + \shiki{theory ND 11 11 + imports Pure 12 12 + begin 13 13 + 14 14 + typedecl bool 15 15 + judgment Trueprop :: "bool ⇒ prop" (‹(_)› 5) 16 16 + } 17 17 + 18 18 + 19 19 + 20 20 + \shiki{axiomatization 21 21 + conj :: "bool ⇒ bool ⇒ bool" (infixr "∧" 35) and 22 22 + where 23 23 + (* Conjunction *) 24 24 + conjI : "⟦ A ; B ⟧ ⟹ (A ∧ B)" and 25 25 + conjunct1 : "A ∧ B ⟹ A" and 26 26 + conjunct2 : "A ∧ B ⟹ B" 27 27 + } 28 28 + 29 29 + \shiki{ 30 30 + disj :: "bool ⇒ bool ⇒ bool" (infixr "∨" 30) and 31 31 + implies :: "bool ⇒ bool ⇒ bool" (infixr "⟶" 25) and 32 32 + not :: "bool ⇒ bool" ("¬ _" [40] 40) 33 33 + 34 34 + (* Disjunction *) 35 35 + disjI1 : "A ⟹ (A ∨ B)" and 36 36 + disjI2 : "B ⟹ (A ∨ B)" and 37 37 + disjE : "⟦ A ∨ B ; A ⟹ C ; B ⟹ C ⟧ ⟹ C" and 38 38 + 39 39 + (* Implication *) 40 40 + impI : "(A ⟹ B) ⟹ (A ⟶ B)" and 41 41 + mp : "⟦ A ⟶ B ; A ⟧ ⟹ B" and 42 42 + 43 43 + (* Negation *) 44 44 + notI : "(A ⟹ False) ⟹ ¬ A" and 45 45 + notE : "⟦ ¬ A ; A ⟧ ⟹ R" and 46 46 + 47 47 + (* False and True *) 48 48 + FalseE : "False ⟹ C" and 49 49 + TrueI : "True" 50 50 + 51 51 + lemma conjE : ‹⟦ A ∧ B ; ⟦ A ; B ⟧ ⟹ C ⟧ ⟹ C› 52 52 + apply (frule conjunct1) 53 53 + apply (drule conjunct2) 54 54 + apply (assumption) 55 55 + done 56 56 + 57 57 + lemma impE: ‹⟦ P ⟶ Q; P ; Q ⟹ R ⟧ ⟹ R› 58 58 + apply (drule mp) 59 59 + apply assumption 60 60 + apply assumption 61 61 + done 62 62 + 63 63 + lemma ‹A ∧ B ⟶ B ∧ A› 64 64 + apply (rule impI) 65 65 + apply (erule conjE) 66 66 + apply (rule conjI) 67 67 + apply assumption 68 68 + apply assumption 69 69 + done 70 70 + 71 71 + lemma ‹X ⟶ ¬ ¬ X› 72 72 + apply (rule impI) 73 73 + apply (rule notI) 74 74 + apply (erule notE) 75 75 + apply assumption 76 76 + done 77 77 + 78 78 + lemma ‹(X ⟶ Y ⟶ ¬ X) ⟶ X ⟶ ¬ Y› 79 79 + apply (rule impI) 80 80 + apply (rule impI) 81 81 + apply (erule impE) 82 82 + apply assumption 83 83 + apply (rule notI) 84 84 + apply (erule impE) 85 85 + apply assumption 86 86 + apply (erule notE) 87 87 + apply assumption 88 88 + done 89 89 + 90 90 + axiomatization where 91 91 + classical: ‹⟦ ¬ P ⟹ P ⟧ ⟹ P› 92 92 + 93 93 + lemma ccontr: "⟦ ¬ P ⟹ False ⟧ ⟹ P" 94 94 + apply (rule classical) 95 95 + apply (rule FalseE) 96 96 + by (assumption) 97 97 + 98 98 + lemma ‹¬ ¬ X ⟶ X› 99 99 + apply (rule impI) 100 100 + apply (rule ccontr) 101 101 + apply (erule notE) 102 102 + apply assumption 103 103 + done 104 104 + 105 105 + lemma dm1: ‹¬ (A ∧ B) ⟶ ¬ A ∨ ¬ B› 106 106 + apply (rule impI) 107 107 + apply (rule ccontr) 108 108 + apply (erule notE) 109 109 + apply (rule conjI) 110 110 + apply (rule ccontr) 111 111 + apply (erule notE) 112 112 + apply (rule disjI1) 113 113 + apply assumption 114 114 + apply (rule ccontr) 115 115 + apply (erule notE) 116 116 + apply (rule disjI2) 117 117 + apply assumption 118 118 + done 119 119 + 120 120 + lemma ‹¬ (A ⟶ B) ⟶ A› 121 121 + apply (rule impI) 122 122 + apply (rule ccontr) 123 123 + apply (erule notE) 124 124 + apply (rule impI) 125 125 + apply (erule notE) 126 126 + apply assumption 127 127 + done 128 128 + 129 129 + lemma ‹¬ A ∧ ¬ B ⟶ ¬ (A ∨ B)› 130 130 + apply (rule impI) 131 131 + apply (erule conjE) 132 132 + apply (rule notI) 133 133 + apply (erule disjE) 134 134 + apply (erule notE, assumption) 135 135 + apply (erule notE, assumption) 136 136 + done 137 137 + 138 138 + lemma ‹¬ (A ∨ B) ⟶ ¬ A ∧ ¬ B› 139 139 + apply (rule impI) 140 140 + apply (rule conjI) 141 141 + apply (rule notI) 142 142 + apply (erule notE) 143 143 + apply (rule disjI1) 144 144 + apply (assumption) 145 145 + apply (rule notI) 146 146 + apply (erule notE) 147 147 + apply (rule disjI2) 148 148 + apply (assumption) 149 149 + done 150 150 + 151 151 + lemma ‹(A ⟶ B) ⟶ ((B ⟶ C) ⟶ A) ⟶ B› 152 152 + apply (intro impI) 153 153 + apply (rule ccontr) 154 154 + apply (erule impE) 155 155 + apply (drule mp) 156 156 + apply (rule impI) 157 157 + apply (erule notE) 158 158 + apply assumption 159 159 + apply assumption 160 160 + apply (erule notE) 161 161 + apply assumption 162 162 + done 163 163 + 164 164 + axiomatization 165 165 + All :: ‹('a ⇒ bool) ⇒ bool› (binder "∀" 10) and 166 166 + Ex :: ‹('a ⇒ bool) ⇒ bool› (binder "∃" 10) 167 167 + where 168 168 + allI : ‹⟦ ⋀x. P x ⟧ ⟹ ∀ x. P x› and 169 169 + spec : ‹∀ a. P a ⟹ P x› and 170 170 + exI : ‹⟦ P x ⟧ ⟹ ∃a. P a› and 171 171 + exE : ‹⟦ ∃ x. P x ; ⋀a. P a ⟹ R ⟧ ⟹ R› 172 172 + 173 173 + lemma allE : ‹⟦ ∀a. P a; P x ⟹ R ⟧ ⟹ R› 174 174 + apply (drule_tac x = x in spec) 175 175 + apply assumption 176 176 + done 177 177 + 178 178 + lemma ‹∀x. ¬ P x ⟹ ¬ (∃x. P x)› 179 179 + apply (rule notI) 180 180 + apply (erule exE) 181 181 + apply (erule_tac x = a in allE) 182 182 + apply (erule notE) 183 183 + apply assumption 184 184 + done 185 185 + 186 186 + 187 187 + lemma foobl: ‹¬ (∃x. P x) ⟹ ∀x. ¬ P x› 188 188 + apply (intro allI notI) 189 189 + apply (erule notE) 190 190 + apply (rule exI) 191 191 + apply assumption 192 192 + done 193 193 + 194 194 + lemma ‹∃ x y. P x y ⟹ ∃ y x. P x y› 195 195 + apply (elim exE) 196 196 + apply (intro exI) 197 197 + apply assumption 198 198 + done 199 199 + 200 200 + lemma ‹∃ x. P x ⟶ Q ⟹ (∀ x. P x) ⟶ Q› 201 201 + apply (intro impI) 202 202 + apply (elim exE) 203 203 + apply (drule_tac x = a in spec) 204 204 + apply (drule mp, assumption) 205 205 + apply assumption 206 206 + done 207 207 + 208 208 + 209 209 + lemma ‹(∀ x. P x) ⟶ Q ⟹ ∃ x. P x ⟶ Q› 210 210 + apply (rule ccontr) 211 211 + apply (elim impE) 212 212 + apply (intro allI) 213 213 + apply (rule ccontr) 214 214 + apply (erule notE) 215 215 + apply (rule_tac x = x in exI) 216 216 + apply (rule impI) 217 217 + apply (erule notE) 218 218 + apply assumption 219 219 + apply (erule notE) 220 220 + apply (intro exI) 221 221 + apply (rule impI) 222 222 + apply assumption 223 223 + done 224 224 + 225 225 + lemma ‹(∀ x. P x) ⟶ (∃ x. Q x) ⟹ ∃ x. P x ⟶ Q x› 226 226 + apply (rule ccontr) 227 227 + apply (elim impE) 228 228 + apply (intro allI) 229 229 + apply (rule ccontr) 230 230 + apply (erule notE) 231 231 + apply (rule_tac x = x in exI) 232 232 + apply (rule impI) 233 233 + apply (erule notE) 234 234 + apply assumption 235 235 + apply (erule notE) 236 236 + apply (erule exE) 237 237 + apply (intro exI) 238 238 + apply (rule impI) 239 239 + apply assumption 240 240 + done 241 241 + 242 242 + 243 243 + lemma ‹ ∃ x. P x ⟶ Q x ⟹ (∀ x. P x) ⟶ (∃ x. Q x)› 244 244 + apply (rule impI) 245 245 + apply (elim exE) 246 246 + apply (drule_tac x = a in spec) 247 247 + apply (drule mp, assumption) 248 248 + apply (rule exI) 249 249 + apply assumption 250 250 + done 251 251 + 252 252 + lemma ‹∀ x. ¬ R x ⟶ R (M x) ⟹ ∀ x. R x ∨ R (M x)› 253 253 + apply (intro allI) 254 254 + apply (erule_tac x = x in allE) 255 255 + apply (rule ccontr) 256 256 + apply (erule impE) 257 257 + apply (rule notI) 258 258 + apply (erule notE) 259 259 + apply (rule disjI1) 260 260 + apply assumption 261 261 + apply (erule notE) 262 262 + apply (rule disjI2) 263 263 + apply assumption 264 264 + done 265 265 + 266 266 + lemma helper: "¬ A ⟶ B ⟹ A ∨ B" 267 267 + apply (rule ccontr) 268 268 + apply (erule impE) 269 269 + apply (rule notI) 270 270 + apply (erule notE) 271 271 + apply (rule disjI1) 272 272 + apply assumption 273 273 + apply (erule notE) 274 274 + apply (rule disjI2) 275 275 + apply assumption 276 276 + done 277 277 + 278 278 + lemma ‹⟦∀ x. ¬ R x ⟶ R (M x); ∃ x. R x ⟧ ⟹ ∃ x. R x ∧ R (M (M x))› 279 279 + apply (erule exE) 280 280 + apply (frule_tac x = a in allE, assumption) 281 281 + apply (drule_tac x = a in spec) 282 282 + apply (frule_tac x = "M a" in spec) 283 283 + apply (drule_tac x = "M (M a)" in spec) 284 284 + apply (drule helper)+ 285 285 + apply (elim disjE) 286 286 + apply (rule_tac x = a in exI; intro conjI; assumption) 287 287 + apply (rule_tac x = "M a" in exI; intro conjI; assumption) 288 288 + apply (rule_tac x = a in exI; intro conjI; assumption) 289 289 + apply (rule_tac x = a in exI; intro conjI; assumption) 290 290 + apply (rule_tac x = a in exI; intro conjI; assumption) 291 291 + apply (rule_tac x = "M a" in exI; intro conjI; assumption) 292 292 + apply (rule_tac x = a in exI; intro conjI; assumption) 293 293 + apply (rule_tac x = a in exI; intro conjI; assumption) 294 294 + done 295 295 + }

+6

trees/isa-0003.tree

reviewed

··· 1 1 + \date{2025-11-25T14:01:00Z} 2 2 + \author{liamoc} 3 3 + \title{Isabelle and HOL} 4 4 + \<html:img>[width]{250px}[class]{portrait}[style]{border:0px}[src]{\route-asset{assets/isabelle_hol.svg}}{} 5 5 + \p{These lectures introduce theorem proving using the proof assistant [Isabelle](https://isabelle.in.tum.de/). Isabelle supports many logics, but by far the most popular is \strong{H}igher \strong{O}rder \strong{L}ogic, the focus of these notes. Isabelle comes pre-packaged with its HOL libraries, as well as a proof editor (based on jEdit) and various other tools. } 6 6 + \p{The proof developments shown in these notes are all developed with Isabelle 2024, but Isabelle 2025 (the latest version at time of writing) is largely backwards compatible with it. I have not upgraded due to some proof automation regressions in Isabelle 2025 that do not affect the content of these notes.}

+1

trees/loc-002D.tree

reviewed

··· 17 17 \li{Ash - Ash Wednesday to Easter for Choirs, Oxford.} 18 18 \li{Adv - Advent for Choirs, Oxford.} 19 19 \li{#{n}thCh - #{n}th Chester Book of Motets.} 20 20 + \li{FaberTal - Faber Choral Programme Series, Thomas Tallis volume.} 20 21 \li{Loose - not in a volume but a separate copy.} 21 22 } 22 23 }