src/HOL/Nonstandard_Analysis/transfer_principle.ML
Fri, 16 Feb 2018 21:43:52 +0100 wenzelm trim context of persistent data;
Fri, 16 Feb 2018 21:40:15 +0100 wenzelm proper file name;
less more (0) tip