adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lib: license header for RangeMap

This commit is contained in:
Japheth Lim 2019-05-20 00:15:31 +10:00
parent 071ebbd398
commit c397b16f42
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/RangeMap.thy
View File

@ -1,5 +1,5 @@
(*
* Copyright 2018, Data61
* Copyright 2019, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

12
lib/RangeMap_Test.thy
View File

@ -1,3 +1,15 @@
(*
* Copyright 2019, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*
* This software may be distributed and modified according to the terms of
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_BSD)
*)
theory RangeMap_Test
imports
Lib.RangeMap