# HG changeset patch # User wenzelm # Date 1125758816 -7200 # Node ID f197d8e8d4d25b4c877dcce74915ecb2c8851c5e # Parent 23ccd02bbba66aeb2a9b0304962ac9d0087419cd use Check.ML; diff -r 23ccd02bbba6 -r f197d8e8d4d2 src/HOLCF/IOA/ABP/ROOT.ML --- a/src/HOLCF/IOA/ABP/ROOT.ML Sat Sep 03 16:46:20 2005 +0200 +++ b/src/HOLCF/IOA/ABP/ROOT.ML Sat Sep 03 16:46:56 2005 +0200 @@ -7,4 +7,5 @@ goals_limit := 1; +use "Check"; time_use_thy "Correctness";