Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified take/drop/chop prefix/suffix;
  2. clarified signature;
  3. proper signature (amending c4e9e0c50487);
Changeset 67522:9e712280cc37 by wenzelm:
clarified take/drop/chop prefix/suffix;
The file was modified src/HOL/Library/conditional_parametricity.ML (diff)
The file was modified src/HOL/Library/refute.ML (diff)
The file was modified src/HOL/Nominal/nominal_inductive2.ML (diff)
The file was modified src/HOL/Nominal/nominal_primrec.ML (diff)
The file was modified src/HOL/SPARK/Tools/fdl_lexer.ML (diff)
The file was modified src/HOL/SPARK/Tools/spark_vcs.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_proof_reconstruct.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_util.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML (diff)
The file was modified src/HOL/Tools/Function/induction_schema.ML (diff)
The file was modified src/HOL/Tools/Meson/meson.ML (diff)
The file was modified src/HOL/Tools/Old_Datatype/old_primrec.ML (diff)
The file was modified src/HOL/Tools/Quickcheck/quickcheck_common.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_solver.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_systems.ML (diff)
The file was modified src/HOL/Tools/SMT/smtlib.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML (diff)
The file was modified src/HOL/Tools/sat_solver.ML (diff)
The file was modified src/Pure/General/antiquote.ML (diff)
The file was modified src/Pure/General/path.ML (diff)
The file was modified src/Pure/General/pretty.ML (diff)
The file was modified src/Pure/General/symbol.ML (diff)
The file was modified src/Pure/Isar/code.ML (diff)
The file was modified src/Pure/Isar/element.ML (diff)
The file was modified src/Pure/Isar/proof.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/Proof/extraction.ML (diff)
The file was modified src/Pure/Syntax/lexicon.ML (diff)
The file was modified src/Pure/Thy/markdown.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
The file was modified src/Pure/library.ML (diff)
The file was modified src/Tools/case_product.ML (diff)
The file was modified src/Tools/coherent.ML (diff)
The file was modified src/ZF/Tools/primrec_package.ML (diff)
Changeset 67521:6a27e86cc2e7 by wenzelm:
clarified signature;
The file was modified src/Pure/library.ML (diff)
The file was modified src/Tools/Code/code_namespace.ML (diff)
Changeset 67520:6ff47e27c32d by wenzelm:
proper signature (amending c4e9e0c50487);
The file was modified src/Pure/ML/ml_process.scala (diff)