src/HOL/Boogie/Tools/boogie_loader.ML
2009-11-06 boehmes 2009-11-06 made SML/NJ happy
2009-11-06 boehmes 2009-11-06 tuned
2009-11-05 boehmes 2009-11-05 shorter names for variables and verification conditions, auto-fix variables occurring in a verification condition
2009-11-03 boehmes 2009-11-03 proper and unique case names for the split_vc method, shortened label names, added an example demonstrating the split_vc method
2009-11-03 boehmes 2009-11-03 added HOL-Boogie