changeset 30895 | bad26d8f0adf |
parent 27306 | 0609faccb903 |
child 37159 | 07f3f5a03e98 |
30894:49c14e3cdc4b | 30895:bad26d8f0adf |
---|---|
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
2 |
2 |
3 Copyright (c) 2008, |
3 Copyright (c) 2009, |
4 University of Cambridge and |
4 University of Cambridge and |
5 Technische Universitaet Muenchen. |
5 Technische Universitaet Muenchen. |
6 |
6 |
7 All rights reserved. |
7 All rights reserved. |
8 |
8 |