# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1538649965 -3600
# Node ID dd530b36027c71b778fac7e6c3190b8d25d41c19
# Parent  677b703c48fe062e1f07880ce7129b483ef55459
typo

diff -r 677b703c48fe -r dd530b36027c teaching.html
--- a/teaching.html	Mon Sep 24 12:41:35 2018 +0100
+++ b/teaching.html	Thu Oct 04 11:46:05 2018 +0100
@@ -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)