src/HOL/TLA/Init.thy
changeset 54257 5c7a3b6b05a9
parent 42018 878f33040280
child 55382 9218fa411c15