src/HOL/Import/HOLLight/HOLLight.thy
changeset 21404 eb85850d3eb7
parent 19233 77ca20b0ed77
child 34974 18b41bba42b5