src/HOLCF/IMP/HoareEx.ML
changeset 5210 54aaa779b6b4
parent 4833 2e53109d4bc8
equal deleted inserted replaced
5209:a69fe5a61b6c 5210:54aaa779b6b4