| #
61e80d14 |
|
12-Oct-2019 |
wenzelm <none@none> |
more compact XML;
|
| #
06c84f7f |
|
12-Oct-2019 |
wenzelm <none@none> |
more compact XML: separate environment for free variables;
clarified fold_proof_terms vs. fold_proof_terms_types;
|
| #
308485f3 |
|
11-Oct-2019 |
wenzelm <none@none> |
more compact XML;
|
| #
0ba6f50c |
|
11-Oct-2019 |
wenzelm <none@none> |
clarified oracle_proof;
|
| #
a7912ed2 |
|
10-Oct-2019 |
wenzelm <none@none> |
more compact XML representation;
|
| #
3dbd8fa2 |
|
04-Oct-2019 |
wenzelm <none@none> |
Term_XML.Encode/Decode.term uses Const "typargs";
|
| #
a8d425ee |
|
17-Aug-2019 |
wenzelm <none@none> |
clarified type for recorded oracles;
|
| #
cbd5363d |
|
15-Aug-2019 |
wenzelm <none@none> |
clarified PThm: theory_name simplifies retrieval from exports;
|
| #
b032ab44 |
|
15-Aug-2019 |
wenzelm <none@none> |
clarified type Indexname, with plain value Int;
eliminated pointless cache_int;
|
| #
263629fb |
|
15-Aug-2019 |
wenzelm <none@none> |
support for (fully reconstructed) proof terms in Scala;
proper cache_typs;
|
| #
57494739 |
|
12-Jul-2011 |
wenzelm <none@none> |
more uniform Term and Term_XML modules;
|