<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://svhol.pbmichel.de/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://svhol.pbmichel.de/feed.php">
        <title>Isabelle/HOL Support Wiki official</title>
        <description></description>
        <link>https://svhol.pbmichel.de/</link>
        <image rdf:resource="https://svhol.pbmichel.de/lib/tpl/dokuwiki/images/favicon.ico" />
       <dc:date>2026-05-07T15:46:23+0200</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://svhol.pbmichel.de/official/goals?rev=1341590904&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://svhol.pbmichel.de/lib/tpl/dokuwiki/images/favicon.ico">
        <title>Isabelle/HOL Support Wiki</title>
        <link>https://svhol.pbmichel.de/</link>
        <url>https://svhol.pbmichel.de/lib/tpl/dokuwiki/images/favicon.ico</url>
    </image>
    <item rdf:about="https://svhol.pbmichel.de/official/goals?rev=1341590904&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-07-06T18:08:24+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>Goals of the Exercises</title>
        <link>https://svhol.pbmichel.de/official/goals?rev=1341590904&amp;do=diff</link>
        <description>Goals of the Exercises

This page is intended to give you an idea of what you should have learned from the exercises. Please be sure to check all the goals and spend additional time on the exercises if you do not meet them yet. 

The exercise meetings are intended to give you time to solve the exercises under supervision and often also introduce new things. You should</description>
    </item>
</rdf:RDF>
