lib/texinputs/isabelle.sty
changeset 60916 a6e2a667b0a8
parent 58870 e2c0d8ef29cb
child 61405 d2ce32c5793a
equal deleted inserted replaced
60915:2986137093c6 60916:a6e2a667b0a8