Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuning
  2. exported ML functions + tuning
  3. refactoring
  4. refactoring
  5. refactoring
  6. tuned whitespace
Changeset 63818:42b98ab11598 by blanchet:
tuning
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
Changeset 63817:9cd3dabfeea8 by blanchet:
exported ML functions + tuning
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
Changeset 63816:6d83841134f8 by blanchet:
refactoring
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
Changeset 63815:64f4267e6677 by blanchet:
refactoring
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
Changeset 63814:f84d100e4c6d by blanchet:
refactoring
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
Changeset 63813:076129f60a31 by blanchet:
tuned whitespace
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_n2m.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_n2m_tactics.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_util.ML (diff)