/concrete_shift

Defining concrete semantics for shift in Comp Cert

concrete_shift

Defining concrete semantics for shift in Comp Cert