src/HOL/Bali/AxSem.thy
changeset 34990 81e8fdfeb849
parent 32960 69916a850301
child 35067 af4c18c30593