src/Tools/Metis/PortableIsabelle.sml
changeset 41648 6d736d983d5c
parent 39447 61033a8004e2
child 59179 cad8a0012a12
equal deleted inserted replaced
41647:5e70526a1947 41648:6d736d983d5c