Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support for a soft-type system within the Isabelle logical framework;
Changeset 70364:b2bedb022a75 by wenzelm:
support for a soft-type system within the Isabelle logical framework;
The file was addedsrc/Pure/soft_type_system.ML
The file was modified src/Pure/Isar/proof.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/sign.ML (diff)