src/Pure/type.ML
changeset 4962 e9217cb15b42
parent 4603 53b2463ca84c
child 4974 45b7a51342a1