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