Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. clarified proof context vs. background theory
Changeset 6688:a3ff4d7af546 by haftmann:
clarified proof context vs. background theory
The file was modified thys/Isabelle_Meta_Model/isabelle_home/src/Tools/Code/Isabelle_code_runtime.thy (diff)