6 statements
7 *}
8
9
10
11 theory AxSound = AxSem:
11 theory AxSound imports AxSem begin
12
13 section "validity"
14
15 consts
16