hol-light/TacticRecording/ex.dot


1
2
3
4
5
6
7
8
9
10
11
12
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
}