Admin/user-aliases
author wenzelm
Sat Nov 13 12:32:21 2010 +0100 (2010-11-13 ago)
changeset 40521 8896bd93488e
parent 40269 151fef652324
child 45071 aa9fe909d322
permissions -rw-r--r--
back to quick_and_dirty, which is still practically important since the scheduler does not jump over subproofs;
     1 lcp paulson
     2 norbert.schirmer@web.de schirmer
     3 schirmer@in.tum.de schirmer
     4 urbanc@in.tum.de urbanc
     5 nipkow@lapbroy100.local nipkow
     6 chaieb@chaieb-laptop chaieb
     7 immler@in.tum.de immler
     8 tsewell@rubicon.NSW.bigpond.net.au tsewell
     9 tsewell@nicta.com.au tsewell
    10 kaliszyk@in.tum.de kaliszyk
    11 Philipp\ Meyer meyerp
    12 Timothy\ Bourke tbourke
    13 noschinl@in.tum.de noschinl
    14 brianh@cs.pdx.edu huffman