| Sat, 17 Aug 2019 12:44:22 +0200 | wenzelm | added command 'thm_oracles'; | changeset | files |
| Sat, 17 Aug 2019 11:52:47 +0200 | wenzelm | clarified type for recorded oracles; | changeset | files |
| Sat, 17 Aug 2019 11:39:29 +0200 | wenzelm | unused; | changeset | files |
| Sat, 17 Aug 2019 11:23:20 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 17 Aug 2019 11:13:16 +0200 | wenzelm | clarified modules; | changeset | files |
| Sat, 17 Aug 2019 11:02:09 +0200 | wenzelm | clarified lookup operations: more scalable for multiple retrieval; | changeset | files |
| Sat, 17 Aug 2019 10:38:02 +0200 | wenzelm | clarified signature; | changeset | files |