Admin/user-aliases
author wenzelm
Fri, 13 Mar 2009 19:58:26 +0100
changeset 30510 4120fc59dd85
parent 30491 772e95280456
child 32766 87491cac8b83
permissions -rw-r--r--
unified type Proof.method and pervasive METHOD combinators;

lcp paulson
norbert.schirmer@web.de schirmer
urbanc@in.tum.de urbanc
nipkow@lapbroy100.local nipkow
chaieb@chaieb-laptop chaieb
immler@in.tum.de immler