equal
deleted
inserted
replaced
1 <?xml version="1.0"?> |
1 <?xml version="1.0"?> |
2 <!DOCTYPE MODE SYSTEM "xmode.dtd"> |
2 <!DOCTYPE MODE SYSTEM "xmode.dtd"> |
|
3 <!-- This file was generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF --> |
3 <MODE> |
4 <MODE> |
4 <PROPS> |
5 <PROPS> |
5 <PROPERTY NAME="commentStart" VALUE="(*"/> |
6 <PROPERTY NAME="commentStart" VALUE="(*"/> |
6 <PROPERTY NAME="commentEnd" VALUE="*)"/> |
7 <PROPERTY NAME="commentEnd" VALUE="*)"/> |
7 <PROPERTY NAME="noWordSep" VALUE="_'.?"/> |
8 <PROPERTY NAME="noWordSep" VALUE="_'.?"/> |