Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. obsolete;
  2. proper replacement for (map_types (K dummyT));
  3. Term_XML.Encode/Decode.term uses Const "typargs";
Changeset 70786:d50c8f4f2090 by wenzelm:
obsolete;
The file was modified src/Pure/term.scala (diff)
Changeset 70785:edaeb8feb4d0 by wenzelm:
proper replacement for (map_types (K dummyT));
The file was modified src/Pure/consts.ML (diff)
Changeset 70784:799437173553 by wenzelm:
Term_XML.Encode/Decode.term uses Const "typargs";
The file was modified NEWS (diff)
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/Proofs/ex/XML_Data.thy (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Syntax/syntax_phases.ML (diff)
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/proofterm.ML (diff)
The file was modified src/Pure/term.scala (diff)
The file was modified src/Pure/term_xml.ML (diff)
The file was modified src/Pure/term_xml.scala (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)