src/HOL/Import/HOLLightCompat.thy
changeset 46372 6fa9cdb8b850
parent 44633 8a2fd7418435
child 46782 d50855d9ea74