From a6f7c0c9a31778993267c0ba4231d36ac2ae2a62 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Feb 2003 12:09:38 +0000
Subject: New files.

---
 etc/isar/Depends.thy | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 etc/isar/Depends.thy

diff --git a/etc/isar/Depends.thy b/etc/isar/Depends.thy
new file mode 100644
index 00000000..d69e663d
--- /dev/null
+++ b/etc/isar/Depends.thy
@@ -0,0 +1,16 @@
+(* In order to test the latest thm deps setup, consider this example: *)
+
+theory Depends = Main:
+
+  lemma I: "A ==> A" and K: "A ==> B ==> A" .
+
+(*
+This reports I, K depending on several things; for your internal
+dependency graph you may interpret this as each member of {I, K} depending
+on all the deps.
+
+        Markus
+*)
+
+end
+
-- 
cgit v1.2.3