diff --git a/src/match_basic.c b/src/match_basic.c
index e72d5bb..b8c5e50 100644
--- a/src/match_basic.c
+++ b/src/match_basic.c
@@ -1,3 +1,10 @@
+/*!\file match_basic.c
+ *\brief Implements the match function.
+ *
+ * The match function here is integrated here with an enabled() function.
+ *  It is also the basic match, so not suited for Constraint Logic Programming. 
+ */
+ 
 #include <stdlib.h>
 #include <stdio.h>
 #include "memory.h"
diff --git a/src/match_clp.c b/src/match_clp.c
index 1872a26..bd62e13 100644
--- a/src/match_clp.c
+++ b/src/match_clp.c
@@ -1,3 +1,12 @@
+/*!\file match_clp.c
+ *\brief Implements the match function.
+ *
+ * The match function here is integrated here with an enabled() function.
+ * It is the constraint-logic based match.
+ *
+ *\warning Some code is obsolete, as there hasn't been any development on the CL version for a while.
+ */
+
 #include <stdlib.h>
 #include <stdio.h>
 #include "match_clp.h"
diff --git a/src/modelchecker.c b/src/modelchecker.c
index f5e8c07..98a2879 100644
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@@ -1,3 +1,9 @@
+/*!\file modelchecker.c
+ * \brief The main procedures guiding the (optimized) traversal of the state space.
+ *
+ * This file implements various traversal methods through the state space.
+ */
+
 #include <stdlib.h>
 #include <stdio.h>
 #include <limits.h>