diff options
| author | Alasdair Armstrong | 2018-08-10 17:02:27 +0100 |
|---|---|---|
| committer | GitHub | 2018-08-10 17:02:27 +0100 |
| commit | c0a1b055e093e4c2d6ada52abb01a7abfff40794 (patch) | |
| tree | d79207b19f139b88d4034854ac62c66043bdf3f2 /lib/hol/Makefile | |
| parent | 58f585cfd9b1f5fd7724fdcb71b46179524653ca (diff) | |
| parent | f05a7be239c7063727dcb529821edc7db20d4812 (diff) | |
Merge pull request #19 from Smattr/5DAF5338-94B5-4F7A-A1CB-1CBB72ED7E93
fix tutorial infix example
Diffstat (limited to 'lib/hol/Makefile')
0 files changed, 0 insertions, 0 deletions