Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified fact position, notably for reports on literal facts;
  2. more accurate facts index;
  3. tuned signature;
  4. tuned signature;
Changeset 63371:3c7c9f726cc3 by wenzelm:
clarified fact position, notably for reports on literal facts;
The file was modified src/Pure/Isar/proof.ML (diff)
Changeset 63370:a4d0dc3ea28f by wenzelm:
more accurate facts index;
The file was modified src/Pure/Isar/proof.ML (diff)
Changeset 63369:4698dd1106ae by wenzelm:
tuned signature;
The file was modified src/Pure/General/binding.ML (diff)
The file was modified src/Pure/facts.ML (diff)
Changeset 63368:e9e677b73011 by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/calculation.ML (diff)
The file was modified src/Pure/Isar/proof.ML (diff)