kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

Remove unused open m0_stepLib #180

Closed palmskog closed 2 months ago

palmskog commented 2 months ago

Since we seemingly don't have any problems with m0_stepLib anymore, let's remove all those open.