1 files changed, 13 insertions, 0 deletions
diff --git a/hol-light/TacticRecording/ex2.dot b/hol-light/TacticRecording/ex2.dot
new file mode 100644
index 00000000..fbe961bd
--- /dev/null
+++ b/hol-light/TacticRecording/ex2.dot
@@ -0,0 +1,13 @@
+digraph G {
+  subgraph cluster0 {
+    label = "process #1"
+    a0->a1->a2->a3
+  }
+  subgraph cluster1 {
+    label = "process #2"
+    b0->b1->b2->b3
+  }
+  b3->23
+  b2->a3
+  a3->23
+}
+\ No newline at end of file