| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Mon, 08 Aug 2016 14:13:14 +0200 |
hoelzl |
rename HOL-Multivariate_Analysis to HOL-Analysis.
|
file |
diff |
annotate
|
| Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
| Fri, 08 Jan 2016 17:40:59 +0100 |
hoelzl |
add uniform spaces
|
file |
diff |
annotate
|
| Mon, 07 Dec 2015 20:19:59 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2013 15:43:14 +0100 |
hoelzl |
use generate_topology for second countable topologies, does not require intersection stable basis
|
file |
diff |
annotate
|
| Thu, 31 Jan 2013 11:31:30 +0100 |
hoelzl |
use order topology for extended reals
|
file |
diff |
annotate
|
| Mon, 14 Jan 2013 17:29:04 +0100 |
hoelzl |
renamed countable_basis_space to second_countable_topology
|
file |
diff |
annotate
|
| Tue, 27 Nov 2012 13:48:40 +0100 |
immler |
based countable topological basis on Countable_Set
|
file |
diff |
annotate
|
| Thu, 15 Nov 2012 15:50:01 +0100 |
immler |
generalized to copy of countable types instead of instantiation of nat for discrete topology
|
file |
diff |
annotate
|