broken.xml revision cad2121a9e9a87317333b202956ce7478efcc257
<?xml version='1.0' ?>
<Symbols logic="CASL">
<Invalid name="nat" range="Examples/Reichel:28.9">sort nat</Invalid>
</Symbols>