src/Pure/General/scan.ML
changeset 54381 9c1f21365326
parent 48743 a72f8ffecf31
child 55104 8284c0d5bf52
equal deleted inserted replaced
54380:209596f56c05 54381:9c1f21365326