1 header "Constant Folding"
1 section "Constant Folding"
2
3 theory Sem_Equiv
4 imports Big_Step
5 begin
6