src/HOL/Probability/Fin_Map.thy
Thu, 15 Nov 2012 11:16:58 +0100 immler added projective limit;
less more (0) tip