sail/lib/hol/.gitignore, branch sail2 Formal specification language for ISAs Update a few prover gitignores 2018-08-02T17:16:55+00:00 Brian Campbell 2018-08-02T10:52:04+00:00 5980711d118ad6d0c28644be605447c3dc82be64 






More targeted gitignore for HOL4
2018-05-16T16:54:07+00:00

Brian Campbell

2018-05-16T16:53:17+00:00

4caf834dc8ae15353d9f2ee76819d46fcb8bbe60

(will do individual models later)





(will do individual models later)