src/HOL/Statespace/DistinctTreeProver.thy
changeset 65902 c28143ae38cd
parent 63167 0909deb8059b
child 69597 ff784d5a5bfb
equal deleted inserted replaced
65901:e896db33d4ce 65902:c28143ae38cd