src/HOL/SPARK/Manual/document/root.tex
changeset 66787 64b47495676d
parent 45046 5ff8cd3b1673
child 73404 299f6a8faccc
equal deleted inserted replaced
66786:61617dafcd60 66787:64b47495676d