src/HOL/TLA/Stfun.ML
changeset 6349 f7750d816c21
parent 6255 db63752140c7
child 12607 16b63730cfbb