diff --git a/src/util/lp/conversion_helper.h b/src/util/lp/conversion_helper.h
index cd8577483..f80b1c2c6 100644
--- a/src/util/lp/conversion_helper.h
+++ b/src/util/lp/conversion_helper.h
@@ -1,8 +1,23 @@
-/*
-  Copyright (c) 2013 Microsoft Corporation. All rights reserved.
+/*++
+Copyright (c) 2017 Microsoft Corporation
+
+Module Name:
+
+    <name>
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Lev Nachmanson (levnach)
+
+Revision History:
+
+
+--*/
 
-  Author: Lev Nachmanson
-*/
 #pragma once
 namespace lp {
 template <typename V>
diff --git a/src/util/lp/quick_xplain.h b/src/util/lp/quick_xplain.h
index 952199f85..902fa08cd 100644
--- a/src/util/lp/quick_xplain.h
+++ b/src/util/lp/quick_xplain.h
@@ -1,7 +1,22 @@
-/*
+/*++
 Copyright (c) 2017 Microsoft Corporation
-Author: Lev Nachmanson
-*/
+
+Module Name:
+
+    <name>
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Lev Nachmanson (levnach)
+
+Revision History:
+
+
+--*/
 
 #pragma once
 #include "util/vector.h"
diff --git a/src/util/lp/random_updater.h b/src/util/lp/random_updater.h
index 68b14c971..6b03ad941 100644
--- a/src/util/lp/random_updater.h
+++ b/src/util/lp/random_updater.h
@@ -1,7 +1,23 @@
-/*
+/*++
 Copyright (c) 2017 Microsoft Corporation
-Author: Lev Nachmanson
-*/
+
+Module Name:
+
+    <name>
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Lev Nachmanson (levnach)
+
+Revision History:
+
+
+--*/
+
 #pragma once
 #include <set>
 #include "util/vector.h"
diff --git a/src/util/lp/stacked_vector.h b/src/util/lp/stacked_vector.h
index 0f66e93f3..e8234d1e4 100644
--- a/src/util/lp/stacked_vector.h
+++ b/src/util/lp/stacked_vector.h
@@ -1,7 +1,23 @@
-/*
+/*++
 Copyright (c) 2017 Microsoft Corporation
-Author: Lev Nachmanson
-*/
+
+Module Name:
+
+    <name>
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Lev Nachmanson (levnach)
+
+Revision History:
+
+
+--*/
+
 #pragma once
 #include <unordered_map>
 #include <set>