src/HOL/IMP/Live.thy
changeset 32436 10cd49e0c067
parent 28867 3d9873c4c409
child 32960 69916a850301