transcript: improved debuugging facilities

[helm.git] / helm / software / matita / contribs / procedural / Coq / Logic / Eqdep.mma

diff --git a/helm/software/matita/contribs/procedural/Coq/Logic/Eqdep.mma b/helm/software/matita/contribs/procedural/Coq/Logic/Eqdep.mma
index 4efee3045d893dd5134145fac4cad55fa3cbe70a..283a2fd5bf3d5005e7c552f5a2afe6bc89d92fff 100644 (file)
--- a/helm/software/matita/contribs/procedural/Coq/Logic/Eqdep.mma
+++ b/helm/software/matita/contribs/procedural/Coq/Logic/Eqdep.mma
@@ -48,7 +48,7 @@ include "Coq.ma".
   References:
 
   [1] T. Streicher, Semantical Investigations into Intensional Type Theory,
-      Habilitationsschrift, LMU München, 1993.
+      Habilitationsschrift, LMU M\252\nchen, 1993.
   [2] M. Hofmann, T. Streicher, The groupoid interpretation of type theory,
       Proceedings of the meeting Twenty-five years of constructive
       type theory, Venice, Oxford University Press, 1998