# HG changeset patch
# User urbanc
# Date 1290774874 0
# Node ID b0cdf8f5a9af7439ec68ee9e0bd10b67e576824f
# Parent  830b40e20684b5fb39955705455a75b403d98eed
added a recent paper by Tobias Nipkow on regular expressions

diff -r 830b40e20684 -r b0cdf8f5a9af Literature/nipkow-rexp.pdf
Binary file Literature/nipkow-rexp.pdf has changed