--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/COPYRIGHT	Thu Sep 16 12:20:38 1993 +0200
@@ -0,0 +1,21 @@
+ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
+
+Copyright (C) 1992 by the University of Cambridge, Cambridge, England.
+
+Permission to use, copy, modify, and distribute this software and its
+documentation for any non-commercial purpose and without fee is hereby
+granted, provided that the above copyright notice appears in all copies and
+that both the copyright notice and this permission notice and warranty
+disclaimer appear in supporting documentation, and that the name of the
+University of Cambridge not be used in advertising or publicity pertaining
+to distribution of the software without specific, written prior permission.
+
+The University of Cambridge disclaims all warranties with regard to this
+software, including all implied warranties of merchantability and fitness.
+In no event shall the University of Cambridge be liable for any special,
+indirect or consequential damages or any damages whatsoever resulting from
+loss of use, data or profits, whether in an action of contract, negligence
+or other tortious action, arising out of or in connection with the use or
+performance of this software.
+
+