Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- more zproofs; misc tuning and clarification;
- tuned;
- tuned;
- more operations; tuned semicolons;
- clarified modules; more source positions;
- more zterm operations; more zproofs;
The file was modified | src/Pure/thm.ML |
The file was modified | src/Pure/zterm.ML |
The file was modified | src/Pure/proofterm.ML |
The file was modified | src/Pure/proofterm.ML |
The file was modified | src/Pure/cterm_items.ML |
The file was modified | src/Pure/term_items.ML |
The file was modified | src/Pure/proofterm.ML |
The file was modified | src/Pure/pure_thy.ML |
The file was modified | src/Pure/theory.ML |
The file was modified | src/Pure/thm.ML |
The file was modified | src/Pure/zterm.ML |