From efe8d89a9953b60a1b5dee887d2c22833c13f9fd Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@data61.csiro.au>
Date: Sun, 24 Jun 2018 14:12:40 +0200
Subject: [PATCH] Word_Lib: record OTHER_BSD license for AFP contrib theory

---
 lib/Word_Lib/Word_Next.thy | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/Word_Lib/Word_Next.thy b/lib/Word_Lib/Word_Next.thy
index 47a67cc46..9888e9c73 100644
--- 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