src/HOL/Bali/Conform.thy
changeset 47389 e8552cba702d
parent 46222 cb3f370e66e1
child 55417 01fbfb60c33e