src/Tools/Permanent_Interpretation.thy
changeset 55694 a1184dfb8e00
parent 55601 b7f4da504b75
child 58889 5b7a9633cfa8