src/ZF/Trancl.ML
changeset 644 112cf8574cf1
parent 435 ca5356bd315a
child 760 f0200e91b272
equal deleted inserted replaced
643:1e8fea151d2e 644:112cf8574cf1