| 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 |
| Thu, 10 Oct 2019 16:51:47 +0200 | wenzelm | more compact XML representation; | file | diff | annotate |
| Fri, 04 Oct 2019 15:30:52 +0200 | wenzelm | Term_XML.Encode/Decode.term uses Const "typargs"; | file | diff | annotate |