# HG changeset patch
# User blanchet
# Date 1327336832 -3600
# Node ID 588c81d08a7c21cc2408bd172ae11c4315e92efc
# Parent  34f982ccec891eecc67e5f85f1cab3eb0f05b529
imported patch ATP_Problem_Import.thy