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)