log notes/ue07_notes.pdf @ 37:27fedbbdab6d

age author description
Tue, 02 Jul 2013 14:16:16 +0200 Markus Kaiser change mapsto to to arrows
Mon, 10 Jun 2013 23:54:54 +0200 Markus Kaiser allow epsilon-edges in PDAs
Mon, 10 Jun 2013 23:39:36 +0200 Markus Kaiser add small example to pda definition
Mon, 10 Jun 2013 23:21:11 +0200 Markus Kaiser ue07 notes