src/ZF/IMP/Evala.thy
changeset 4152 451104c223e2
parent 482 3a4e092ba69c