# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1524142702 -3600
# Node ID 66114fa3d2ee0610698d782d148bd97d814c7304
# Parent  017e33849f4d53778cb953ec3d1aa412cf5da1c4
updated to Isabelle 2016-1