# automatically generated hets proof-script

use Basic/RelationsAndOrders.casl

check-consistency