src/HOL/TLA/Stfun.thy
changeset 20380 14f9f2a1caa6
parent 17309 c43ed29bd197
child 21624 6f79647cf536