license should include names

diff --git a/LICENSE b/LICENSE
index 60882adfdbb73a20443c2c42b2420c41ba529115..6016c5db08c94b49298c3247d6fc96919cd4102c 100644 (file)
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,7 @@
 The MIT License (MIT)
 
-Copyright (c) 2015 mortberg
+Copyright (c) 2015 Cyril Cohen, Thierry Coquand, Simon Huber, Anders
+Mörtberg
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal