<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="http://git.oriontransfer.org/stylesheets/git-repo.xsl"?>
<!DOCTYPE repo [
  <!ELEMENT repo  (index)>
  <!ATTLIST repo  version CDATA #REQUIRED
                  href    CDATA #REQUIRED>
  <!ELEMENT index (updir?, (file | dir)*)>
  <!ATTLIST index name    CDATA #IMPLIED
                  path    CDATA #IMPLIED
                  rev     CDATA #IMPLIED>
  <!ELEMENT updir EMPTY>
  <!ELEMENT file  EMPTY>
  <!ATTLIST file  name    CDATA #REQUIRED
                  href    CDATA #REQUIRED>
  <!ELEMENT dir   EMPTY>
  <!ATTLIST dir   name    CDATA #REQUIRED
                  href    CDATA #REQUIRED>
]>
<repo version="git" href="http://www.oriontransfer.co.nz/">
	<index rev="5" path="Academic/LogicAndDecidability.git">
		<dir name="RegisterMachine" href="RegisterMachine/" />
		<dir name="TruthTable" href="TruthTable/" />
	</index>
</repo>

