-
Jean-Christophe Filliâtre authored
programs: a label Init is automatically added at the beginning of each Hoare triple (we could discuss this choice); SF examples continued
d88be22f
programs: a label Init is automatically added at the beginning of each Hoare triple (we could discuss this choice); SF examples continued