Name Last modified Size Description
Parent Directory -
discharge.c 07-Nov-2007 14:59 54K
discharge.pas 07-Nov-2007 14:59 46K
discharge.tex 07-Nov-2007 14:59 46K
present7 07-Nov-2007 14:59 195K
present8 07-Nov-2007 14:59 172K
present9 07-Nov-2007 14:59 116K
present10 07-Nov-2007 14:59 34K
present11 07-Nov-2007 14:59 11K
reduce.c 07-Nov-2007 14:59 29K
reduce.tex 07-Nov-2007 14:59 18K
rules 07-Nov-2007 14:59 2.6K
unavoidable.conf 07-Nov-2007 14:59 398K