src/HOL/SPARK/Manual/Example_Verification.thy
changeset 47255 30a1692557b0
parent 45044 2fae15f8984d
child 56798 939e88e79724