http://www.ratatanek.cz/hg/ia041_hirshfeld_slides/ en-us ia041_hirshfeld_slides Changelog ia041_hirshfeld_slides Changelog Added support for handouts. http://www.ratatanek.cz/hg/ia041_hirshfeld_slides/rev/c36ae8166b69 Martin Vejnar <avakar@ratatanek.cz> Sun, 28 Mar 2010 23:51:44 +0200 Proof of (S,S)-PRS and PDA equivalence. http://www.ratatanek.cz/hg/ia041_hirshfeld_slides/rev/f3a7ca86628d Martin Vejnar <avakar@ratatanek.cz> Sun, 28 Mar 2010 22:46:35 +0200 . http://www.ratatanek.cz/hg/ia041_hirshfeld_slides/rev/8b7a8947cee7 Martin Vejnar <avakar@ratatanek.cz> Thu, 25 Mar 2010 15:14:49 +0100