src/HOL/Bali/Basis.thy
changeset 54096 8ab8794410cd
parent 52037 837211662fb8
child 55143 04448228381d
equal deleted inserted replaced
54095:d80743f28fec 54096:8ab8794410cd