--- a/Admin/page/main-content/index.content Mon Aug 16 19:47:01 2004 +0200
+++ b/Admin/page/main-content/index.content Tue Aug 17 01:20:29 2004 +0200
@@ -35,6 +35,17 @@
<p>
+<h2>Course Material</h2>
+
+The <a
+href="http://isabelle.in.tum.de/coursematerial/">course material</a>
+page makes slides, demos, and exercises of a growing number of
+Isabelle courses available. It is meant as a ressource for people who
+would like to learn Isabelle and also for those who would like to give
+courses on Isabelle.
+
+<p>
+
<h2>AFP - The Archive of Formal Proofs</h2>
The <a href="http://afp.sf.net">Archive of Formal Proofs</a> is a