src/HOL/HOLCF/Compact_Basis.thy
changeset 67003 49850a679c2c
parent 62175 8ffc4d0e652d