src/HOL/SMT_Examples/Boogie.thy
changeset 57978 8f4a332500e4
parent 56818 689a3eeb6f9e
child 58061 3d060f43accb