src/HOL/TLA/Init.thy
changeset 47255 30a1692557b0
parent 42018 878f33040280
child 55382 9218fa411c15