Word_Lib: record OTHER_BSD license for AFP contrib theory

2018-06-24 14:12:40 +02:00 · 2018-06-24 14:12:40 +02:00 · efe8d89a99
parent 04f4336a5f
commit efe8d89a99
1 changed files with 4 additions and 0 deletions
--- a/lib/Word_Lib/Word_Next.thy
+++ b/lib/Word_Lib/Word_Next.thy
@ -1,3 +1,7 @@
+(*
+ * @TAG(OTHER_BSD)
+ *)
+
 section\<open>Increment and Decrement Machine Words Without Wrap-Around\<close>

 theory Word_Next