# HG changeset patch
# User wenzelm
# Date 1335272869 -7200
# Node ID bafe6c0cbab460457b04e1ce53f7a8cec579ea4f
# Parent  f43b8873743d4768dd9a5309eb6aed9c91d6f00e
chmod -x;

diff -r f43b8873743d -r bafe6c0cbab4 src/HOL/Boogie/Examples/VCC_Max.thy