asmrefine: review license for $ARCH/ArchSetup.thy
This commit is contained in:
parent
a424d55e3e
commit
2f32deb44a
|
@ -1,7 +1,7 @@
|
||||||
(*
|
(*
|
||||||
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
||||||
*
|
*
|
||||||
* SPDX-License-Identifier: GPL-2.0-only
|
* SPDX-License-Identifier: BSD-2-Clause
|
||||||
*)
|
*)
|
||||||
|
|
||||||
theory ArchSetup
|
theory ArchSetup
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
(*
|
(*
|
||||||
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
||||||
*
|
*
|
||||||
* SPDX-License-Identifier: GPL-2.0-only
|
* SPDX-License-Identifier: BSD-2-Clause
|
||||||
*)
|
*)
|
||||||
|
|
||||||
theory ArchSetup
|
theory ArchSetup
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
(*
|
(*
|
||||||
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
||||||
*
|
*
|
||||||
* SPDX-License-Identifier: GPL-2.0-only
|
* SPDX-License-Identifier: BSD-2-Clause
|
||||||
*)
|
*)
|
||||||
|
|
||||||
theory ArchSetup
|
theory ArchSetup
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
(*
|
(*
|
||||||
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
||||||
*
|
*
|
||||||
* SPDX-License-Identifier: GPL-2.0-only
|
* SPDX-License-Identifier: BSD-2-Clause
|
||||||
*)
|
*)
|
||||||
|
|
||||||
theory ArchSetup
|
theory ArchSetup
|
||||||
|
|
Loading…
Reference in New Issue