Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. tuned;
  3. explicit graph for chains, which contains all nts as nodes;
  4. tuned;
  5. tuned;
  6. prefer lazy update;
  7. tuned output;
  8. more operations;
  9. include lemmas generally useful for combinatorial proofs
Changeset 67519:6905b156a030 by wenzelm:
tuned output;
The file was modified src/Pure/Syntax/ast.ML (diff)
Changeset 67518:30ecd3958bc3 by wenzelm:
tuned;
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 67517:add9a9f6a290 by wenzelm:
explicit graph for chains, which contains all nts as nodes;
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 67516:656720e8f443 by wenzelm:
tuned;
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 67515:fb87a0e9af21 by wenzelm:
tuned;
The file was modified src/Pure/Syntax/parser.ML (diff)
Changeset 67514:6877af8bc18d by wenzelm:
prefer lazy update;
The file was modified src/Pure/Syntax/syntax.ML (diff)
Changeset 67513:731b1ad6759a by wenzelm:
tuned output;
The file was modified src/Doc/Isar_Ref/Inner_Syntax.thy (diff)
The file was modified src/Pure/Syntax/parser.ML (diff)
The file was modified src/Pure/Syntax/syntax.ML (diff)
Changeset 67512:166c1659ac75 by wenzelm:
more operations;
The file was modified src/Pure/General/symbol.ML (diff)
Changeset 67511:a6f5a78712af by bulwahn:
include lemmas generally useful for combinatorial proofs
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)