Admin/Mercurial/isabelle-style.diff
changeset 34285 218fa4267718
parent 29148 9b725c8c8ecc
child 35545 34fc7f0aca30
equal deleted inserted replaced
34284:33ad3571ad83 34285:218fa4267718