Admin/Mercurial/isabelle-style-1.3.1.diff
changeset 75009 d2f97439f53e
parent 42431 79ef651d88eb
equal deleted inserted replaced
75008:43b3d5318d72 75009:d2f97439f53e