src/HOL/NanoJava/AxSem.thy
changeset 68451 c34aa23a1fb6
parent 67443 3abf6a722518
child 69597 ff784d5a5bfb
equal deleted inserted replaced
68450:41de07c7a0f3 68451:c34aa23a1fb6