Add make hol.sh that creates hol.sh running ocaml initialized with hol.ml
#23
| Job | Run time |
|---|---|
| 7m 40s | |
| 7m 50s | |
| 15m 30s |
make hol.sh that creates hol.sh running ocaml initialized with hol.ml
#23
| Job | Run time |
|---|---|
| 7m 40s | |
| 7m 50s | |
| 15m 30s |