Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. fixed $ite syntax in TPTP THX generation
  3. tuned signature;
  4. more scalable data structures;
  5. more scalable data structures;
  6. more scalable data structures; tuned;
Changeset 74154:62b0577123a5 by desharna:
merged
Changeset 74153:46f66e821f5c by desharna:
fixed $ite syntax in TPTP THX generation
The file was modified src/HOL/Tools/ATP/atp_problem.ML (diff)
Changeset 74152:069f6b2c5a07 by wenzelm:
tuned signature;
The file was modified src/HOL/Analysis/measurable.ML (diff)
The file was modified src/HOL/Eisbach/match_method.ML (diff)
The file was modified src/HOL/Tools/Lifting/lifting_info.ML (diff)
The file was modified src/HOL/Tools/Lifting/lifting_setup.ML (diff)
The file was modified src/HOL/Tools/Transfer/transfer.ML (diff)
The file was modified src/Pure/Isar/calculation.ML (diff)
The file was modified src/Pure/Isar/class.ML (diff)
The file was modified src/Pure/Isar/locale.ML (diff)
The file was modified src/Pure/Tools/named_theorems.ML (diff)
The file was modified src/Pure/Tools/named_thms.ML (diff)
The file was modified src/Pure/more_thm.ML (diff)
Changeset 74151:c3b3517ef4ba by wenzelm:
more scalable data structures;
The file was modified src/Pure/Isar/locale.ML (diff)
Changeset 74150:de12016ffefb by wenzelm:
more scalable data structures;
The file was modified src/Pure/Isar/class.ML (diff)
Changeset 74149:9e73600ec75d by wenzelm:
more scalable data structures;<br>tuned;
The file was modified src/Pure/Isar/calculation.ML (diff)