# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1542797204 0
# Node ID a19a6b924e29f07bb6f2544ea626d28a4f68e8cd
# Parent  9d21149ba75c37ca7cf5d8994ab698c4d0648ea1# Parent  dd530b36027c71b778fac7e6c3190b8d25d41c19
updated

diff -r 9d21149ba75c -r a19a6b924e29 teaching.html
--- a/teaching.html	Wed Nov 21 10:46:24 2018 +0000
+++ b/teaching.html	Wed Nov 21 10:46:44 2018 +0000
@@ -404,7 +404,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2003-2004</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd>Logic and Proof (4h)
     <dd>Discrete Mathematics I (9h) 
     <dd>Part II project on a Nominal Theorem Assistant (5.5h)
@@ -439,7 +439,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2002-2003</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd>Logic and Proof (5h)
     <dd>Discrete Mathematics I (7h)
     <dd>Part II project on Nominal Unification (7h)
@@ -461,7 +461,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF"  WIDTH="75%">
 <H3>2001-2002</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd> Logic, Computability and Set Theory (for Math students)
     <dd>Data Structures and Algorithms
     <dd>Logic and Proof (4h)