src/HOL/NSA/HyperDef.thy
changeset 41648 6d736d983d5c
parent 38715 6513ea67d95d
child 42463 f270e3e18be5