src/HOL/TLA/Intensional.thy
changeset 67022 49309fe530fd
parent 62150 33ce5f41a9e1
child 67399 eab6ce8368fa