# HG changeset patch
# User blanchet
# Date 1412019602 -7200
# Node ID f4a63cb6a58aa94e1ed31c169702df279a6efd52
# Parent  b4c0e2b00036f451219e21d22a78fbc4948f6ce9# Parent  d5f24630c10454810bd7dcfd81c00ece75b667cc
merge

diff -r b4c0e2b00036 -r f4a63cb6a58a src/Doc/Prog_Prove/document/intro-isabelle.tex
--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex	Mon Sep 29 20:26:04 2014 +0200
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex	Mon Sep 29 21:40:02 2014 +0200
@@ -1,5 +1,5 @@
 Isabelle is a generic system for
-implementing logical formalisms, and Isabelle/HOL is the specialization
+implementing logical formalisms, and Isabelle/HOL is the specialisation
 of Isabelle for HOL, which abbreviates Higher-Order Logic. We introduce
 HOL step by step following the equation
 \[ \mbox{HOL} = \mbox{Functional Programming} + \mbox{Logic}. \]