src/HOL/Bali/Example.thy
changeset 37407 61dd8c145da7
parent 36319 8feb2c4bef1a
child 37956 ee939247b2fb