[Cdd-commits] r1026 - projects/science/trunk/debian-science/tasks

[CDD Subversion Commit]

Author: sylvestre-guest
Date: Tue Aug 12 21:42:13 2008
New Revision: 1026

Modified:
   projects/science/trunk/debian-science/tasks/mathematics
Log:
encoding issue

Modified: projects/science/trunk/debian-science/tasks/mathematics
==============================================================================
--- projects/science/trunk/debian-science/tasks/mathematics	(original)
+++ projects/science/trunk/debian-science/tasks/mathematics	Tue Aug 12 21:42:13 2008
@@ -77,7 +77,7 @@
  Features a choice of several ready-to-use logics (Higher Order Logic,
  Higher Order Logic augmented with Scott's Logic for Computable
  Functions, First Order Logic, Zermello-Frankel, an extensional
- version of Martin-Löf Type Theory, Barendregt's Lambda Cube, a few
+ version of Martin-Lof Type Theory, Barendregt's Lambda Cube, a few
  sequent calculi (including modal and linear logics), ...) or
  defining your own logic / deductive system, a procedural and a
  declarative proof style, rich automation for classical reasoning,