COPYRIGHT
changeset 194 06e31ac55dd1
parent 0 a5a9c433f639
child 14058 a26a6a36e09d
equal deleted inserted replaced
193:b2be328e00c3 194:06e31ac55dd1
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     2 
     2 
     3 Copyright (C) 1992 by the University of Cambridge, Cambridge, England.
     3 Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
     4 
     4 
     5 Permission to use, copy, modify, and distribute this software and its
     5 Permission to use, copy, modify, and distribute this software and its
     6 documentation for any non-commercial purpose and without fee is hereby
     6 documentation for any non-commercial purpose and without fee is hereby
     7 granted, provided that the above copyright notice appears in all copies and
     7 granted, provided that the above copyright notice appears in all copies and
     8 that both the copyright notice and this permission notice and warranty
     8 that both the copyright notice and this permission notice and warranty