Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. eliminate duplicate (see also 6cbcfac5b72e and af7b79271364);
  2. minor performance tuning: shorter names;
  3. minor performance tuning: static vs. dynamic rules;
  4. minor performance tuning;
Changeset 79340:3ef7606a0d11 by wenzelm:
eliminate duplicate (see also 6cbcfac5b72e and af7b79271364);
The file was modified src/ZF/upair.thy (diff)
Changeset 79339:8eb7e325f40d by wenzelm:
minor performance tuning: shorter names;
The file was modified src/Pure/conjunction.ML (diff)
Changeset 79338:b3b0950ef24e by wenzelm:
minor performance tuning: static vs. dynamic rules;
The file was modified src/Pure/conjunction.ML (diff)
Changeset 79337:7e57d2581ba1 by wenzelm:
minor performance tuning;
The file was modified src/Pure/conjunction.ML (diff)