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
aspinall@17736
     1
<?xml version="1.0"?>
aspinall@17736
     2
<locatingRules xmlns="http://thaiopensource.com/ns/locating-rules/1.0">
aspinall@17736
     3
  <uri resource="pgip_isar.xml" uri="pgip.rnc"/>
aspinall@17736
     4
  <uri resource="pgip_isar.xml" typeId="RELAX NG"/>
aspinall@17736
     5
</locatingRules>