src/FOLP/hypsubst.ML
changeset 5981 ec5c3d17969f
parent 3537 79ac9b475621
child 26830 7b7139f961bd