| Tue, 29 Jan 2019 15:26:43 +0000 |
paulson |
some new results in group theory
|
changeset |
files
|
| Mon, 28 Jan 2019 18:36:50 -0500 |
immler |
less odd class.second_countable_topology_def
|
changeset |
files
|
| Mon, 28 Jan 2019 20:32:09 +0100 |
wenzelm |
revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
|
changeset |
files
|
| Mon, 28 Jan 2019 16:29:11 +0100 |
nipkow |
changed precedence of big operators: now like any other function symbol
|
changeset |
files
|
| Mon, 28 Jan 2019 10:27:47 +0100 |
nipkow |
more canonical and less specialized syntax
|
changeset |
files
|
| Sun, 27 Jan 2019 17:30:09 +0100 |
wenzelm |
updated to polyml-test-1b2dcf8f5202;
|
changeset |
files
|
| Fri, 25 Jan 2019 22:13:48 +0000 |
haftmann |
prefer proper strings in OCaml
|
changeset |
files
|
| Fri, 25 Jan 2019 22:13:47 +0000 |
haftmann |
more correct parenthesing
|
changeset |
files
|
| Fri, 25 Jan 2019 14:19:19 -0500 |
immler |
generalized
|
changeset |
files
|
| Fri, 25 Jan 2019 15:57:24 +0100 |
wenzelm |
proper operation in weakly-typed Scala (amending 06153e2e0cdb);
|
changeset |
files
|
| Fri, 25 Jan 2019 14:59:40 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Fri, 25 Jan 2019 13:19:16 +0100 |
nipkow |
moved retracts
|
changeset |
files
|
| Fri, 25 Jan 2019 02:38:26 +0000 |
Angeliki KoutsoukouArgyraki |
tagged 4 theories
|
changeset |
files
|
| Thu, 24 Jan 2019 14:45:07 +0000 |
paulson |
merged
|
changeset |
files
|
| Thu, 24 Jan 2019 14:44:52 +0000 |
paulson |
the theory of Equipollence, and moving Fpow from Cardinals into Main
|
changeset |
files
|