1 files changed, 24 insertions, 0 deletions
diff --git a/hol-light/TacticRecording/examples3_LEMMA1.dot b/hol-light/TacticRecording/examples3_LEMMA1.dot
new file mode 100644
index 00000000..69bc7c4a
--- /dev/null
+++ b/hol-light/TacticRecording/examples3_LEMMA1.dot
@@ -0,0 +1,24 @@
+digraph G {
+  subgraph cluster0 {
+    label = "induction";
+    517->518;
+    517->519;
+  }
+  subgraph cluster1 {
+    label = "base case";
+    528->528
+  }
+  subgraph cluster2 {
+    label = "step case";
+    537->538;
+    538->540;
+    540->542;
+    542->544;
+    544->546;
+    546->548;
+  }
+  512->513;
+  513->517;
+  518->528;
+  519->537;
+}
+\ No newline at end of file