src/HOL/Bali/AxCompl.thy
changeset 37659 14cabf5fa710
parent 35416 d8d7d1b785af
child 37956 ee939247b2fb