src/HOL/Tools/ComputeHOL.thy
changeset 27123 11fcdd5897dd
parent 26424 a6cad32a27b0
child 28562 4e74209f113e