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 |