lib/ProofGeneral/schemas.xml
author blanchet
Fri Apr 26 12:09:51 2013 +0200 (2013-04-26)
changeset 51790 22517d04d20b
parent 17736 863cdca5c77a
permissions -rw-r--r--
more intuitive syntax for equality-style discriminators of nullary constructors
     1 <?xml version="1.0"?>
     2 <locatingRules xmlns="http://thaiopensource.com/ns/locating-rules/1.0">
     3   <uri resource="pgip_isar.xml" uri="pgip.rnc"/>
     4   <uri resource="pgip_isar.xml" typeId="RELAX NG"/>
     5 </locatingRules>