src/ZF/ind_syntax.ML
changeset 24091 109f19a13872
parent 23419 8c30dd4b3b22
child 24826 78e6a3cea367