src/HOLCF/IMP/HoareEx.ML
changeset 5210 54aaa779b6b4
parent 4833 2e53109d4bc8