src/HOL/TLA/Init.thy
changeset 71926 bee83c9d3306
parent 62146 324bc1ffba12
child 80914 d97fdabd9e2b