Fusion & Construction file changes (to reflect the fusion changes)

JacquesCarette / hol-light-qe

The HOL Light theorem prover (moved from Google code)

Other

7 stars 1 forks source link

Closed sjjs7 closed 4 years ago

sjjs7 commented 4 years ago

Will let you know once these have passed holtest!

sjjs7 commented 4 years ago

Ok I think I fixed the issues, let me know what you think. (I still have to run holtest)

sjjs7 commented 4 years ago

I guess I better check these changes as well...will let you know.

sjjs7 commented 4 years ago

Alright, it's fine, we're good to go.