[Provoz] pokus

To provoz zavinac debian bod cz
From Vilem Vychodil <vilem bod vychodil zavinac upol bod cz>
Date Wed, 7 May 2003 14:45:27 +0200
User-agent Mutt/1.3.28i 
  Pokus. Test subjektu.

-- 
    Vilem Vychodil                      Palacky University, CS Department
    <vilem bod vychodil zavinac upol bod cz>            
http://vychodil.inf.upol.cz/

    $${\cal T} \vdash \varphi \Leftrightarrow {\cal T} \models \varphi.$$
Partial thread listing: