| Sun, 27 Oct 2019 20:53:10 -0400 |
immler |
a slower implementation of the "metric" method as Eisbach example, by Maximilian Schäffeler
|
changeset |
files
|
| Sun, 27 Oct 2019 20:11:30 -0400 |
immler |
NEWS
|
changeset |
files
|
| Sun, 27 Oct 2019 20:07:59 -0400 |
immler |
added examples for "metric" method, by Maximilian Schäffeler
|
changeset |
files
|
| Sun, 27 Oct 2019 12:13:15 -0400 |
immler |
added contributor
|
changeset |
files
|
| Sun, 27 Oct 2019 12:13:04 -0400 |
immler |
avoid referring to lemmas by index
|
changeset |
files
|
| Sun, 27 Oct 2019 12:09:07 -0400 |
immler |
documented reference
|
changeset |
files
|
| Sun, 27 Oct 2019 17:26:50 +0100 |
immler |
example applications of the 'metric' decision procedure, by Maximilian Schäffeler
|
changeset |
files
|
| Sun, 27 Oct 2019 16:32:01 +0100 |
immler |
decision procedure for metric spaces, implemented by Maximilian Schäffeler
|
changeset |
files
|
| Sun, 27 Oct 2019 16:47:27 +0100 |
nipkow |
NEWS
|
changeset |
files
|
| Sun, 27 Oct 2019 14:54:07 +0100 |
nipkow |
renamed because of duplicateion to avoid very long qualified names
|
changeset |
files
|
| Sat, 26 Oct 2019 19:39:16 +0200 |
wenzelm |
proper order of variables, independently of varify/unvarify state -- relevant for export of locale conclusions;
|
changeset |
files
|
| Fri, 25 Oct 2019 19:08:36 +0200 |
wenzelm |
merged
|
changeset |
files
|