(* Title: HOL/IMP/Com.ML ID: $Id$ Author: Heiko Loetzbeyer & Robert Sandner, TUM Copyright 1994 TUM *) open Com;