src/HOL/Hoare/Examples.ML
changeset 1824 44254696843a
parent 1798 c055505f36d1
child 1875 54c0462f8fb2
equal deleted inserted replaced
1823:e1458e1a9f80 1824:44254696843a