<?xml version="1.0" encoding="ascii"?>
<rss version="2.0">
  <channel>
    <link>https://cflmark.nms.kcl.ac.uk/hg/nominal2/</link>
    <language>en-us</language>

    <title>nominal2: branches</title>
    <description>nominal2 branch history</description>
    <item>
    <title>Nominal2-Isabelle2016-1</title>
    <link>https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/66114fa3d2ee</link>
    <description><![CDATA[Nominal2-Isabelle2016-1]]></description>
    <pubDate>Thu, 19 Apr 2018 13:58:22 +0100</pubDate>
</item>
<item>
    <title>default</title>
    <link>https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/017e33849f4d</link>
    <description><![CDATA[default]]></description>
    <pubDate>Thu, 19 Apr 2018 13:57:17 +0100</pubDate>
</item>
<item>
    <title>Nominal2-Isabelle2016</title>
    <link>https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/c4f31f1564b7</link>
    <description><![CDATA[Nominal2-Isabelle2016]]></description>
    <pubDate>Sat, 19 Mar 2016 21:06:48 +0000</pubDate>
</item>
<item>
    <title>Nominal2-Isabelle2015</title>
    <link>https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/ece7f031708c</link>
    <description><![CDATA[Nominal2-Isabelle2015]]></description>
    <pubDate>Thu, 09 Jul 2015 09:13:23 +0100</pubDate>
</item>
<item>
    <title>Nominal2-Isabelle2013</title>
    <link>https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/41e205fcb21e</link>
    <description><![CDATA[Nominal2-Isabelle2013]]></description>
    <pubDate>Mon, 11 Mar 2013 16:33:52 +0000</pubDate>
</item>
<item>
    <title>Nominal2-Isabelle2012</title>
    <link>https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/f5057aabf5c0</link>
    <description><![CDATA[Nominal2-Isabelle2012]]></description>
    <pubDate>Sat, 12 May 2012 22:24:04 +0100</pubDate>
</item>
<item>
    <title>Nominal2-Isabelle2011-1</title>
    <link>https://cflmark.nms.kcl.ac.uk/hg/nominal2/rev/5a8ed4dad895</link>
    <description><![CDATA[Nominal2-Isabelle2011-1]]></description>
    <pubDate>Fri, 17 Feb 2012 11:50:09 +0000</pubDate>
</item>

  </channel>
</rss>
