src/HOL/TLA/TLA.thy
changeset 33963 977b94b64905
parent 30528 7173bf123335
child 35068 544867142ea4