Revert "second batch" - Githubissues

JacquesCarette / hol-light-qe

The HOL Light theorem prover (moved from Google code)

Other

7 stars 1 forks source link

Revert "second batch" #20

Closed JacquesCarette closed 4 years ago

JacquesCarette commented 4 years ago

Reverts JacquesCarette/hol-light-qe#15. Should not have been squashed.