| 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 |
| 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 |
| Sat, 17 Aug 2019 11:52:47 +0200 | wenzelm | clarified type for recorded oracles; | file | diff | annotate |
| Thu, 15 Aug 2019 16:57:09 +0200 | wenzelm | clarified PThm: theory_name simplifies retrieval from exports; | file | diff | annotate |