src/HOL/Import/HOLLight/HOLLight.thy
changeset 38382 8b02c5bf1d0e
parent 35416 d8d7d1b785af
child 43786 fea3ed6951e3