src/HOL/Bali/Term.thy
changeset 37659 14cabf5fa710
parent 35431 8758fe1fc9f8
child 37956 ee939247b2fb