src/HOL/SupInf.thy
changeset 47884 21c42b095c84
parent 46757 ad878aff9c15
child 51475 ebf9d4fd00ba