equal
deleted
inserted
replaced
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 |