README.md

This repository contains some snippets for the HOL4 theorem prover.

Feel free to submit a pull request if you want to add more to it.