| Sun, 23 Apr 2017 14:27:22 +0200 | wenzelm | prefer strict operation (despite 8edca3465758): there might be errors from all_known = true (ae09b9f5980b); | changeset | files |
| Sun, 23 Apr 2017 14:15:09 +0200 | wenzelm | added missing file (amending f533820e7248); | changeset | files |
| Sat, 22 Apr 2017 22:01:35 +0200 | wenzelm | theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications; | changeset | files |
| Sat, 22 Apr 2017 12:52:55 +0200 | wenzelm | merged | changeset | files |
| Sat, 22 Apr 2017 12:52:16 +0200 | wenzelm | clarified parent session images, to avoid duplicate loading of theories; | changeset | files |
| Fri, 21 Apr 2017 21:41:32 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 21 Apr 2017 21:36:49 +0200 | wenzelm | removed pointless document; | changeset | files |