src/HOL/Univ.thy
changeset 2919 953a47dc0519
parent 1562 e98c7f6165c9
child 3947 eb707467f8c5