From 347a428ef1d2b44a592316738bb3befe6f46262a Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 17 Jun 2018 00:16:00 +0100
Subject: [PATCH] Added dependency information (excluding Isabelle/HOL).

---
 assert.thy | 1 +
 1 file changed, 1 insertion(+)

diff --git a/assert.thy b/assert.thy
index a2f68ce..4cbca12 100644
--- a/assert.thy
+++ b/assert.thy
@@ -24,6 +24,7 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  *
  * SPDX-License-Identifier: BSD-2-Clause
+ * Dependencies: None
  ***********************************************************************************)
 
 chapter\<open>An Assertion Framework for Isabelle\<close>