Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature; clarified antiquotations;
  2. clarified antiquotations;
  3. clarified signature -- prefer antiquotations (with subtle change of exception content);
  4. more control symbols;
  5. support ML antiquotations with fn abstraction;
  6. unused;
Changeset 74321:714e87ce6e9d by wenzelm:
clarified signature;<br>clarified antiquotations;
The file was modified src/FOL/fologic.ML (diff)
The file was modified src/ZF/Tools/inductive_package.ML (diff)
Changeset 74320:dd04da556d1a by wenzelm:
clarified antiquotations;
The file was modified src/FOL/fologic.ML (diff)
The file was modified src/ZF/ind_syntax.ML (diff)
Changeset 74319:54b2e5f771da by wenzelm:
clarified signature -- prefer antiquotations (with subtle change of exception content);
The file was modified src/FOL/fologic.ML (diff)
The file was modified src/FOL/simpdata.ML (diff)
The file was modified src/ZF/Tools/cartprod.ML (diff)
The file was modified src/ZF/Tools/datatype_package.ML (diff)
The file was modified src/ZF/Tools/inductive_package.ML (diff)
The file was modified src/ZF/Tools/primrec_package.ML (diff)
The file was modified src/ZF/arith_data.ML (diff)
The file was modified src/ZF/ind_syntax.ML (diff)
The file was modified src/ZF/int_arith.ML (diff)
Changeset 74318:3360ea6b659d by wenzelm:
more control symbols;
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 74317:0a4e93250e44 by wenzelm:
support ML antiquotations with fn abstraction;
The file was modified NEWS (diff)
The file was modified src/Pure/ML/ml_antiquotations1.ML (diff)
Changeset 74316:46a0bb3d3a7b by wenzelm:
unused;
The file was modified src/ZF/arith_data.ML (diff)