| 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 |
| Thu, 15 Aug 2019 16:26:50 +0200 | wenzelm | clarified type Indexname, with plain value Int; | file | diff | annotate |
| Thu, 15 Aug 2019 16:02:47 +0200 | wenzelm | support for (fully reconstructed) proof terms in Scala; | file | diff | annotate |
| Tue, 12 Jul 2011 18:00:05 +0200 | wenzelm | more uniform Term and Term_XML modules; | file | diff | annotate |