-
Heiko Becker authored
Add cheated lemmas to iv validation in HOL4, that are required for translation to work, work on closing holes in translation script.
af90053c
Add cheated lemmas to iv validation in HOL4, that are required for translation to work, work on closing holes in translation script.