1 <?xml version="1.0" encoding="iso8859-1"?>
2 <!DOCTYPE style-configuration SYSTEM "style-configuration.dtd">
5 <style key="C1">rootcontent.xsl</style>
6 <style key="C2">annotatedpres.xsl</style>
7 <style key="T1">theory_content.xsl</style>
8 <style key="T2">theory_pres.xsl</style>
19 </style-configuration>