changeset 78291 | b6b827c01ffc |
parent 76099 | 101547fb2f78 |
child 80077 | ee07b7738a24 |
78290:7729a1ad6b58 | 78291:b6b827c01ffc |
---|---|
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
2 |
2 |
3 Copyright (c) 1986-2022, |
3 Copyright (c) 1986-2023, |
4 University of Cambridge, |
4 University of Cambridge, |
5 Technische Universitaet Muenchen, |
5 Technische Universitaet Muenchen, |
6 and contributors. |
6 and contributors. |
7 |
7 |
8 All rights reserved. |
8 All rights reserved. |