Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact);
Changeset 68245:37974ddde928 by wenzelm:
merged
Changeset 68244:e0cd57aeb60c by wenzelm:
more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact);
The file was modified src/Pure/global_theory.ML (diff)