src/HOL/Nonstandard_Analysis/Star.thy
changeset 66010 2f7d39285a1a
parent 64435 c93b0e6131c3
child 67613 ce654b0e6d69