Thu, 15 Nov 2012 17:36:08 +0100 corrected headers
immler [Thu, 15 Nov 2012 17:36:08 +0100] rev 50091
corrected headers
Thu, 15 Nov 2012 16:07:52 +0100 hide constants of auxiliary type finmap
immler [Thu, 15 Nov 2012 16:07:52 +0100] rev 50090
hide constants of auxiliary type finmap
Thu, 15 Nov 2012 15:50:01 +0100 generalized to copy of countable types instead of instantiation of nat for discrete topology
immler [Thu, 15 Nov 2012 15:50:01 +0100] rev 50089
generalized to copy of countable types instead of instantiation of nat for discrete topology
Thu, 15 Nov 2012 11:16:58 +0100 added projective limit;
immler [Thu, 15 Nov 2012 11:16:58 +0100] rev 50088
added projective limit; proof is based on auxiliary type finmap::polish_space
Thu, 15 Nov 2012 10:49:58 +0100 regularity of measures, therefore:
immler [Thu, 15 Nov 2012 10:49:58 +0100] rev 50087
regularity of measures, therefore: characterization of closure with infimum distance; characterize of compact sets as totally bounded; added Diagonal_Subsequence to Library; introduced (enumerable) topological basis; rational boxes as basis of ordered euclidean space; moved some lemmas upwards
Thu, 15 Nov 2012 14:04:23 +0100 tuned -- eliminated obsolete citation of isabelle-ref;
wenzelm [Thu, 15 Nov 2012 14:04:23 +0100] rev 50086
tuned -- eliminated obsolete citation of isabelle-ref;
Mon, 12 Nov 2012 22:09:52 +0100 updated basic equality rules;
wenzelm [Mon, 12 Nov 2012 22:09:52 +0100] rev 50085
updated basic equality rules;
Mon, 12 Nov 2012 21:17:58 +0100 removed somewhat pointless historic material;
wenzelm [Mon, 12 Nov 2012 21:17:58 +0100] rev 50084
removed somewhat pointless historic material;
Sun, 11 Nov 2012 21:08:11 +0100 updated unification options;
wenzelm [Sun, 11 Nov 2012 21:08:11 +0100] rev 50083
updated unification options;
Sun, 11 Nov 2012 20:47:04 +0100 removed some historic material that is obsolete or rarely used;
wenzelm [Sun, 11 Nov 2012 20:47:04 +0100] rev 50082
removed some historic material that is obsolete or rarely used;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip