src/ZF/IMP/Assign.thy
changeset 2003 b48f066d52dc
parent 482 3a4e092ba69c