diff options
Diffstat (limited to 'hol-light/TacticRecording/ex3.dot')
-rw-r--r-- | hol-light/TacticRecording/ex3.dot | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/hol-light/TacticRecording/ex3.dot b/hol-light/TacticRecording/ex3.dot new file mode 100644 index 00000000..1704533d --- /dev/null +++ b/hol-light/TacticRecording/ex3.dot @@ -0,0 +1,24 @@ +digraph G { + subgraph cluster1 { + label = "induction"; + 351 -> 352; + 351 -> 353; + 352 -> 358; + subgraph cluster2 { + label = "base case"; + 358; + } + 353 -> 367; + subgraph cluster3 { + label = "step case"; + 367 -> 368; + 368 -> 370; + 370 -> 372; + 372 -> 374; + 374 -> 376; + 376 -> 378; + } + } + 344 -> 345; + 345 -> 351; +} |