src/HOL/Plain.thy
changeset 45802 b16f976db515
parent 41886 aa8dce9ab8a9
child 46691 72d81e789106