From f663b7ac60f2bbb18c8b147833661f458467a6e3 Mon Sep 17 00:00:00 2001
From: bu <wolff@lri.fr>
Date: Tue, 5 Feb 2019 11:57:39 +0100
Subject: [PATCH] dfgdfg

---
 examples/cenelec/Example.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/cenelec/Example.thy b/examples/cenelec/Example.thy
index 02694d9..02854e2 100644
--- a/examples/cenelec/Example.thy
+++ b/examples/cenelec/Example.thy
@@ -30,7 +30,7 @@ text*[tralala] \<open> Brexit means Brexit \<close>
 text\<open>Examples for declaration of typed doc-items "assumption" and "hypothesis",
      concepts defined in the underlying ontology @{theory "CENELEC_50126"}. \<close>
 text*[ass1::assumption] \<open> The subsystem Y is safe. \<close>
-text*[hyp1::hypothesis] \<open> P inequal NP \<close>
+text*[hyp1::hypothesis] \<open> P not equal NP \<close>
   
 text\<open>A real example fragment from a larger project, declaring a text-element as a
      "safety-related application condition", a concept defined in the  @{theory "CENELEC_50126"}