src/HOL/SPARK/Manual/document/intro.tex
changeset 77465 ecfe6dac3a3e
parent 45044 2fae15f8984d
equal deleted inserted replaced
77464:8008ce0f2488 77465:ecfe6dac3a3e