src/HOLCF/ex/hoare.ML
changeset 7866 3ccaa11b6df9
parent 244 929fc2c63bd0