diff options
| -rw-r--r-- | etc/isar/Depends.thy | 16 |
1 files changed, 16 insertions, 0 deletions
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 + |