src/ZF/ind_syntax.ML
changeset 56412 2dd33da970ea
parent 55151 f331472f1027
child 59755 f8d164ab0dc1
equal deleted inserted replaced
56411:913dc982ef55 56412:2dd33da970ea