From 7eeaecf48fa1dcbe883368b375ccbc9316e08717 Mon Sep 17 00:00:00 2001
From: bu <wolff@lri.fr>
Date: Mon, 11 Jun 2018 18:48:49 +0200
Subject: [PATCH] Concptual repaired.

---
 ontologies/Conceptual.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ontologies/Conceptual.thy b/ontologies/Conceptual.thy
index 6a97aee..5a1cd68 100644
--- a/ontologies/Conceptual.thy
+++ b/ontologies/Conceptual.thy
@@ -1,4 +1,4 @@
-theory conceptual
+theory Conceptual
   imports "../Isa_DOF"
 begin