README.org : aknowledgments, AUTHORS : Garion & Delmas

Author: jogiet

AUTHORS

@@ -1 +1,3 @@
-Josselin Giet <josselin.giet@ens.fr>
+Josselin Giet <josselin.giet@ens.fr>
+Remi Delmas <remi.delmas@onera.fr>
+Christophe Garion <chritophe.garion@isae-supaero.fr>

README.org

@@ -70,3 +70,9 @@ logic.
      the considered modal logic
    - ~--soft-ignore~: do not use ~assert-soft~ constraints, even if
      needed (beware, infinite loop possible in this case!)
+
+** Acknowledgments
+
+    MOLOSS has been partly developed during an internship at
+    [[https://www.isae-supaero.fr/en/][ISAE-SUPAERO]] and
+    [[http://www.onera.fr/en][ONERA]].

src/ast_fo.ml

@@ -12,7 +12,7 @@
 module Smap = Map.Make(String)
 module Sset = Set.Make(String)
 
-
+(** module for the first-order formula *)
 module FO  = struct 
 
 type ident = string
@@ -128,6 +128,7 @@ end
 (*           Formules du 1er ordre "encadrées"            *)
 (*--------------------------------------------------------*)
 
+(** module for the boxed first-order formula *)
 module BFO = struct
 
 type atom = string