| Sat, 12 Oct 2019 15:01:13 +0200 | wenzelm | more compact XML; | file | diff | annotate |
| Sat, 12 Oct 2019 13:43:17 +0200 | wenzelm | more compact XML: separate environment for free variables; | file | diff | annotate |
| Sat, 12 Oct 2019 12:25:16 +0200 | wenzelm | more compact XML; | file | diff | annotate |
| Fri, 11 Oct 2019 18:26:35 +0200 | wenzelm | clarified oracle_proof; | file | diff | annotate |