src/HOL/Boogie/Examples/VCC_Max.b2i
2009-11-03 boehmes 2009-11-03 added HOL-Boogie