document/isabelle.sty
changeset 12 fb962189e921
parent 10 569222a42cf5
child 13 dd1499f296ea