| 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 |