diff --git a/AUTHORS b/AUTHORS
deleted file mode 100644
index 2623e15..0000000
--- a/AUTHORS
+++ /dev/null
@@ -1 +0,0 @@
-Achim D. Brucker <brucker@member.fsf.org>
diff --git a/ChangeLog b/ChangeLog
deleted file mode 100644
index e97a7da..0000000
--- a/ChangeLog
+++ /dev/null
@@ -1,3 +0,0 @@
-
-2009-11-02 Achim D. Brucker <brucker@member.fsf.org>
-		* Isabelle/OFMC: first public release (development version)
diff --git a/COPYING b/LICENSE
similarity index 100%
rename from COPYING
rename to LICENSE