From af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Tue, 9 Dec 2014 12:48:32 +0100 Subject: Switch the few remaining iso-latin-1 files to utf8 --- plugins/micromega/sos.ml | 4 ++-- plugins/micromega/sos_lib.ml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'plugins/micromega') diff --git a/plugins/micromega/sos.ml b/plugins/micromega/sos.ml index 35699f219..cc89e2b9d 100644 --- a/plugins/micromega/sos.ml +++ b/plugins/micromega/sos.ml @@ -1,9 +1,9 @@ (* ========================================================================= *) (* - This code originates from John Harrison's HOL LIGHT 2.30 *) (* (see file LICENSE.sos for license, copyright and disclaimer) *) -(* - Laurent Théry (thery@sophia.inria.fr) has isolated the HOL *) +(* - Laurent Théry (thery@sophia.inria.fr) has isolated the HOL *) (* independent bits *) -(* - Frédéric Besson (fbesson@irisa.fr) is using it to feed micromega *) +(* - Frédéric Besson (fbesson@irisa.fr) is using it to feed micromega *) (* ========================================================================= *) (* ========================================================================= *) diff --git a/plugins/micromega/sos_lib.ml b/plugins/micromega/sos_lib.ml index 235f9ce9b..f54914f25 100644 --- a/plugins/micromega/sos_lib.ml +++ b/plugins/micromega/sos_lib.ml @@ -2,9 +2,9 @@ (* - This code originates from John Harrison's HOL LIGHT 2.30 *) (* (see file LICENSE.sos for license, copyright and disclaimer) *) (* This code is the HOL LIGHT library code used by sos.ml *) -(* - Laurent Théry (thery@sophia.inria.fr) has isolated the HOL *) +(* - Laurent Théry (thery@sophia.inria.fr) has isolated the HOL *) (* independent bits *) -(* - Frédéric Besson (fbesson@irisa.fr) is using it to feed micromega *) +(* - Frédéric Besson (fbesson@irisa.fr) is using it to feed micromega *) (* ========================================================================= *) open Num -- cgit v1.2.3