src/HOL/Bali/Basis.thy
changeset 34990 81e8fdfeb849
parent 34915 7894c7dab132
child 35067 af4c18c30593