equal
deleted
inserted
replaced
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
2 |
2 |
3 Copyright (c) 2010, |
3 Copyright (c) 2011, |
4 University of Cambridge and |
4 University of Cambridge, |
5 Technische Universitaet Muenchen. |
5 Technische Universitaet Muenchen, |
|
6 and contributors. |
6 |
7 |
7 All rights reserved. |
8 All rights reserved. |
8 |
9 |
9 Redistribution and use in source and binary forms, with or without |
10 Redistribution and use in source and binary forms, with or without |
10 modification, are permitted provided that the following conditions are |
11 modification, are permitted provided that the following conditions are |