src/FOLP/IFOLP.ML
changeset 132 b5704e45d2d2
parent 0 a5a9c433f639
child 1142 eb0e2ff8f032
equal deleted inserted replaced
131:bb0caac13eff 132:b5704e45d2d2