| Sat, 16 Jul 2016 00:11:03 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 15 Jul 2016 23:47:07 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 15 Jul 2016 23:46:28 +0200 | wenzelm | singleton result for 'proof' command (without backtracking), e.g. relevant for well-defined output; | changeset | files |