2009-03-03 wenzelm 2009-03-03 nicer_shortest: use NameSpace.extern_flags with disabled "features" instead of internal NameSpace.get_accesses;
2009-03-01 wenzelm 2009-03-01 avoid fragile parsing of end_timing result -- would have produced GC time on MosML, for example;
2009-03-01 wenzelm 2009-03-01 replaced archaic Display.pretty_fact by FindTheorems.pretty_thm, which observes the context properly (as did the former prt_fact already); minor tuning according to Isabelle coding conventions;
2009-02-27 wenzelm 2009-02-27 observe basic Isabelle/ML coding conventions;
2009-02-27 wenzelm 2009-02-27 moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;