Admin/Mercurial/isabelle-style-1.3.1.diff
changeset 75464 84e6f9b542e2
parent 42431 79ef651d88eb
equal deleted inserted replaced
75463:8e2285baadba 75464:84e6f9b542e2