(* Title: ZF/Coind/BCR.thy ID: $Id$ Author: Jacob Frost, Cambridge University Computer Laboratory Copyright 1995 University of Cambridge *)