# 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