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