ind_syntax.ML
changeset 145 a9f7ff3a464c
parent 134 4b7da5a895e7
child 182 d5c6d1fb236b
equal deleted inserted replaced
144:6254f50e5ec9 145:a9f7ff3a464c