# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1305653133 -7200
# Node ID b6fc4d1b75d0bffe0ed27ae570edf1d6278b515a
# Parent  1d1e795bc3ad5a7bb7ee9ed922f6fd0809b930a9# Parent  59a9c8907a0ff1ea7660c31a6250c6e432057423
merged

diff -r 1d1e795bc3ad -r b6fc4d1b75d0 ProgTutorial/Advanced.thy
diff -r 1d1e795bc3ad -r b6fc4d1b75d0 progtutorial.pdf
Binary file progtutorial.pdf has changed