src/HOL/ex/veriT_Preprocessing.thy
changeset 65029 00731700e54f
parent 65017 d11249edc2c2
child 69217 a8c707352ccc