src/FOLP/hypsubst.ML
changeset 69954 96905404ffba
parent 69593 3dda49e08b9d
child 74301 ffe269e74bdd
equal deleted inserted replaced
69953:3544cca7920f 69954:96905404ffba