src/HOL/Bali/Example.thy
changeset 37659 14cabf5fa710
parent 36319 8feb2c4bef1a
child 37956 ee939247b2fb