diff options
Diffstat (limited to 'hol-light/TacticRecording/ex3.png')
-rw-r--r-- | hol-light/TacticRecording/ex3.png | bin | 0 -> 39644 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/hol-light/TacticRecording/ex3.png b/hol-light/TacticRecording/ex3.png Binary files differnew file mode 100644 index 00000000..f2edfbdc --- /dev/null +++ b/hol-light/TacticRecording/ex3.png |