src/HOL/IsaMakefile
changeset 10680 26e4aecf3207
parent 10614 d5c14e205c24
child 10687 c186279eecea
equal deleted inserted replaced
10679:b619b56f562f 10680:26e4aecf3207