File tree Expand file tree Collapse file tree
tagging-status/testfiles-incompatible-mathml/thmtools Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1919 >
2020 <TOCI xmlns =" http://iso.org/pdf/ssn"
2121 id =" ID.0008"
22- title =" [] theorem"
22+ title =" theorem"
2323 >
2424 <?References objects =" 1"
2525 <Reference xmlns =" http://iso.org/pdf/ssn"
4444 </TOCI >
4545 <TOCI xmlns =" http://iso.org/pdf/ssn"
4646 id =" ID.0012"
47- title =" [] theorem"
47+ title =" theorem"
4848 >
4949 <?References objects =" 2"
5050 <Reference xmlns =" http://iso.org/pdf/ssn"
6969 </TOCI >
7070 <TOCI xmlns =" http://iso.org/pdf/ssn"
7171 id =" ID.0016"
72- title =" [] lemma (heading)"
72+ title =" lemma (heading)"
7373 >
7474 <?References objects =" 3"
7575 <Reference xmlns =" http://iso.org/pdf/ssn"
9494 </TOCI >
9595 <TOCI xmlns =" http://iso.org/pdf/ssn"
9696 id =" ID.0020"
97- title =" [] theorem"
97+ title =" theorem"
9898 >
9999 <?References objects =" 4"
100100 <Reference xmlns =" http://iso.org/pdf/ssn"
Original file line number Diff line number Diff line change 1919 >
2020 <TOCI xmlns =" http://iso.org/pdf/ssn"
2121 id =" ID.009"
22- title =" [] theorem"
22+ title =" theorem"
2323 >
2424 <?References objects =" 1"
2525 <Reference xmlns =" http://iso.org/pdf/ssn"
4242 </TOCI >
4343 <TOCI xmlns =" http://iso.org/pdf/ssn"
4444 id =" ID.013"
45- title =" [] theorem"
45+ title =" theorem"
4646 >
4747 <?References objects =" 2"
4848 <Reference xmlns =" http://iso.org/pdf/ssn"
6565 </TOCI >
6666 <TOCI xmlns =" http://iso.org/pdf/ssn"
6767 id =" ID.017"
68- title =" [] lemma (heading)"
68+ title =" lemma (heading)"
6969 >
7070 <?References objects =" 3"
7171 <Reference xmlns =" http://iso.org/pdf/ssn"
8888 </TOCI >
8989 <TOCI xmlns =" http://iso.org/pdf/ssn"
9090 id =" ID.021"
91- title =" [] theorem"
91+ title =" theorem"
9292 >
9393 <?References objects =" 4"
9494 <Reference xmlns =" http://iso.org/pdf/ssn"
You can’t perform that action at this time.
0 commit comments