Nominal/nominal_dt_alpha.ML
changeset 2396 f2f611daf480
parent 2395 79e493880801
child 2397 c670a849af65
equal deleted inserted replaced
2395:79e493880801 2396:f2f611daf480