src/HOL/Tools/Sledgehammer/named_thm_set.ML
2010-03-29 blanchet 2010-03-29 reintroduce efficient set structure to collect "no_atp" theorems