src/HOLCF/IOA/Modelcheck/MuIOA.thy
changeset 13025 433c57d09d53
parent 7299 743b22579a2f
child 17244 0b2ff9541727