| Fri, 10 Sep 2021 14:59:19 +0200 | wenzelm | clarified signature: more scalable operations; | file | diff | annotate |
| Thu, 09 Sep 2021 23:07:02 +0200 | wenzelm | more scalable operations; | file | diff | annotate |
| Thu, 09 Sep 2021 13:47:29 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 09 Sep 2021 12:33:14 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 05 Sep 2021 23:21:32 +0200 | wenzelm | more robust signature: result has no particular order; | file | diff | annotate |
| Sat, 04 Sep 2021 22:17:15 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 04 Sep 2021 21:25:08 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 04 Sep 2021 18:21:58 +0200 | wenzelm | more scalable operations; | file | diff | annotate |
| Fri, 03 Sep 2021 18:57:33 +0200 | wenzelm | more scalable data structure (but: rarely used many arguments); | file | diff | annotate |
| Sat, 04 Apr 2020 22:39:42 +0200 | wenzelm | more robust: notably for sledgehammer with 'using' and prover=cvc4; | file | diff | annotate |
| Sun, 25 Feb 2018 15:44:46 +0100 | wenzelm | eliminated ASCII syntax from Pure bootstrap; | file | diff | annotate |
| Sun, 18 Feb 2018 15:05:21 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 23 Jun 2016 11:01:14 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 15 Aug 2015 20:07:05 +0200 | wenzelm | clarified context; | file | diff | annotate |
| Mon, 27 Jul 2015 23:40:39 +0200 | wenzelm | tuned signature; | file | diff | annotate |