src/FOLP/hypsubst.ML
changeset 82859 81400a301993
parent 74301 ffe269e74bdd