src/HOL/Tools/atp_wrapper.ML
Tue, 14 Oct 2008 16:01:36 +0200 wenzelm renamed AtpThread to AtpWrapper;
less more (0) tip