| Wed, 17 Apr 2019 21:48:56 +0200 |
nipkow |
added lemmas
|
changeset |
files
|
| Wed, 17 Apr 2019 21:53:45 +0100 |
paulson |
moved subset_image_inj into Hilbert_Choice
|
changeset |
files
|
| Wed, 17 Apr 2019 17:48:28 +0100 |
paulson |
Lindelöf spaces and supporting material
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:30 +0000 |
haftmann |
hierarchically inclusive named theorem collections
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:21 +0000 |
haftmann |
removed unused fact collections
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:20 +0000 |
haftmann |
eliminated type class
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:19 +0000 |
haftmann |
entry point for comprehensive word library
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:18 +0000 |
haftmann |
tuned theory names
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:09 +0000 |
haftmann |
integrated Bit_Comparison into Word corpus
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:07 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:05 +0000 |
haftmann |
prefer one theory for misc material
|
changeset |
files
|
| Tue, 16 Apr 2019 19:50:03 +0000 |
haftmann |
moved instance to appropriate place
|
changeset |
files
|
| Tue, 16 Apr 2019 20:00:14 +0200 |
wenzelm |
tuned for release;
|
changeset |
files
|
| Tue, 16 Apr 2019 19:42:56 +0200 |
wenzelm |
clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6);
|
changeset |
files
|