src/HOL/NSA/HyperDef.thy
changeset 62337 d3996d5873dd
parent 61981 1b5845c62fa0
child 62390 842917225d56