# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1336853159 -3600
# Node ID a6f3e1b084946be15c292ee678d740d54762443d
# Parent  c25386402f6a97596607410bde151f74e5366541
Created branch for Isabelle-2012