Admin/polyml/LICENCE
author mehta
Fri Apr 16 15:46:50 2004 +0200 (2004-04-16)
changeset 14591 7be4d5dadf15
parent 11073 e45b136716f5
permissions -rw-r--r--
lemma drop_Suc_conv_tl added.
wenzelm@11073
     1
wenzelm@11073
     2
    SOFTWARE  LICENCE FOR  COMPUTER  LANGUAGE  TRANSLATION
wenzelm@11073
     3
    PROGRAM POLY/ML FOR
wenzelm@11073
     4
wenzelm@11073
     5
    CAMBRIDGE   UNIVERSITY  TECHNICAL   SERVICES   LIMITED
wenzelm@11073
     6
    (registered   number  01069886)   (formerly   Lynxvale
wenzelm@11073
     7
    Limited)  whose  registered  office  is   at  The  Old
wenzelm@11073
     8
    Schools, Cambridge CB2 1TS
wenzelm@11073
     9
wenzelm@11073
    10
    IMPORTANT   --  READ   CAREFULLY  BEFORE   USING   THE
wenzelm@11073
    11
    SOFTWARE:   This   Licence   Agreement   for   Poly/ML
wenzelm@11073
    12
    ("Licence  Agreement") is  a legal  agreement  between
wenzelm@11073
    13
    you,  either   an  individual   or  an  entity   ("the
wenzelm@11073
    14
    Licensee")   and   Cambridge    University   Technical
wenzelm@11073
    15
    Services  Limited  and  its  suppliers  and  licensors
wenzelm@11073
    16
    (collectively   "the  Licensor")   for  the   computer
wenzelm@11073
    17
    language translation program Poly/ML. You  may install
wenzelm@11073
    18
    a  copy  of  the Software  and  may  use  it  only  in
wenzelm@11073
    19
    accordance  with and  to  the  extent allowed  by  the
wenzelm@11073
    20
    terms  and conditions  of this  License Agreement.  By
wenzelm@11073
    21
    clicking on  the "Accept" button, installing,  copying
wenzelm@11073
    22
    or otherwise  so using the  Software, you agree to  be
wenzelm@11073
    23
    bound by the  terms of this Licence Agreement.  If you
wenzelm@11073
    24
    do not agree  to the terms of this  Licence Agreement,
wenzelm@11073
    25
    click on  the "Cancel"  button and/or  do not  install
wenzelm@11073
    26
    the Software. YOU  AGREE THAT YOUR USE OF  THE PROGRAM
wenzelm@11073
    27
    ACKNOWLEDGES  THAT   YOU  HAVE   READ  THIS   LICENCE,
wenzelm@11073
    28
    UNDERSTAND IT, AND AGREE TO  BE BOUND BY ITS TERMS AND
wenzelm@11073
    29
    CONDITIONS.
wenzelm@11073
    30
wenzelm@11073
    31
    OPERATIVE PROVISIONS:
wenzelm@11073
    32
wenzelm@11073
    33
    1. The Licensor grants to the Licensee a
wenzelm@11073
    34
    non-exclusive,   royalty-free  licence   to  use   the
wenzelm@11073
    35
    Software,  with  the  right  to   grant  sub-licences,
wenzelm@11073
    36
    subject   to  the   terms  and   conditions  of   this
wenzelm@11073
    37
    Agreement.
wenzelm@11073
    38
wenzelm@11073
    39
    2.  The  copyright  and  other  intellectual  property
wenzelm@11073
    40
    rights  of whatever  nature in  the  Software are  and
wenzelm@11073
    41
    shall   remain   the   property   of   the   Licensor.
wenzelm@11073
    42
wenzelm@11073
    43
    3. In this Agreement "Software"  means all versions of
wenzelm@11073
    44
    the computer language translation program  Poly/ML but
wenzelm@11073
    45
    not   including  any   Improvements  (as   hereinafter
wenzelm@11073
    46
    defined by Clause 4) to  such Software licensed to the
wenzelm@11073
    47
    Licensor pursuant to Clause 5.
wenzelm@11073
    48
wenzelm@11073
    49
    4.  The  copyright  and  other  intellectual  property
wenzelm@11073
    50
    rights  of   whatever  nature  in  any   improvements,
wenzelm@11073
    51
    enhancements or  modifications to  the source code  of
wenzelm@11073
    52
    the  Software  or  which  necessitate  access  to  the
wenzelm@11073
    53
    source code  of the Software  in order to be  compiled
wenzelm@11073
    54
    into a functioning  binary form and which are  made by
wenzelm@11073
    55
    the Licensee  ("the Improvements")  shall vest in  and
wenzelm@11073
    56
    be   and  remain   the  property   of  the   Licensee.
wenzelm@11073
    57
wenzelm@11073
    58
    5. The Licensee  grants to the Licensor in  good faith
wenzelm@11073
    59
    a  non-exclusive,  royalty-free  licence  to  use  any
wenzelm@11073
    60
    Improvements with the  right to grant sub-licences  to
wenzelm@11073
    61
    any  existing or  future  licensees of  the  Software.
wenzelm@11073
    62
wenzelm@11073
    63
    6. The Licensor  shall be bound to  grant sub-licenses
wenzelm@11073
    64
    of the  Improvements on  being requested  so to do  by
wenzelm@11073
    65
    any existing or  future Licensee of the  Software. The
wenzelm@11073
    66
    Improvements shall promptly  be made available by  the
wenzelm@11073
    67
    Licensee to  the Licensor and  by the Licensor to  any
wenzelm@11073
    68
    sub-licensee.   Such  Improvements   shall   be   made
wenzelm@11073
    69
    available to  a degree  of detail  sufficient for  the
wenzelm@11073
    70
    purposes of the  license granted under clause 5  or as
wenzelm@11073
    71
    required by the Licensor.
wenzelm@11073
    72
wenzelm@11073
    73
    7. Any  licence or sub-licence  granted by either  the
wenzelm@11073
    74
    Licensor or  the Licensee of  the Software and/or  the
wenzelm@11073
    75
    Improvements  shall contain  provisions  that  reflect
wenzelm@11073
    76
    the  provisions of  this  Agreement with  any  changes
wenzelm@11073
    77
    necessary   to   give   the   arrangements   efficacy.
wenzelm@11073
    78
wenzelm@11073
    79
    8. THIS SOFTWARE  IS PROVIDED BY THE LICENSOR  AND ANY
wenzelm@11073
    80
    CONTRIBUTING  LICENSEES  "AS  IS"  AND  ANY  WARRANTY,
wenzelm@11073
    81
    EXPRESS OR IMPLIED,  INCLUDING BUT NOT LIMITED  TO THE
wenzelm@11073
    82
    IMPLIED WARRANTIES OF MERCHANTABILITY AND  FITNESS FOR
wenzelm@11073
    83
    A  PARTICULAR PURPOSE,  ARE  DISCLAIMED. IN  NO  EVENT
wenzelm@11073
    84
    SHALL THE  LICENSOR OR  ANY CONTRIBUTING LICENSEES  BE
wenzelm@11073
    85
    LIABLE FOR ANY DIRECT, INDIRECT,  INCIDENTAL, SPECIAL,
wenzelm@11073
    86
    EXEMPLARY,  OR CONSEQUENTIAL  DAMAGES  (INCLUDING  BUT
wenzelm@11073
    87
    NOT  LIMITED TO  PROCUREMENT  OF SUBSTITUTE  GOODS  OR
wenzelm@11073
    88
    SERVICES; LOSS OF  USE, DATA, OR PROFITS;  OR BUSINESS
wenzelm@11073
    89
    INTERRUPTION)  HOWEVER CAUSED  AND  ON ANY  THEORY  OF
wenzelm@11073
    90
    LIABILITY, WHETHER  IN CONTRACT, STRICT LIABILITY,  OR
wenzelm@11073
    91
    TORT (INCLUDING NEGLIGENCE OR OTHERWISE)  OR OTHERWISE
wenzelm@11073
    92
    ARISING IN  ANY WAY OUT OF  THE USE OF THIS  SOFTWARE,
wenzelm@11073
    93
    EVEN IF  ADVISED OF  THE POSSIBILITY  OF SUCH  DAMAGE,
wenzelm@11073
    94
    EXCLUDING ANY PERSONAL  INJURY OR DEATH CAUSED  BY THE
wenzelm@11073
    95
    NEGLIGENCE  OF   THE  LICENSOR  OR  ANY   CONTRIBUTING
wenzelm@11073
    96
    LICENSEES.
wenzelm@11073
    97
wenzelm@11073
    98
    9.  This  Agreement  is  governed  by  and  is  to  be
wenzelm@11073
    99
    construed in accordance with English law.