isabelle: File revisions

src/Pure/Tools/find_theorems.ML

Sun, 08 Mar 2009 17:26:14 +0100	wenzelm	moved basic algebra of long names from structure NameSpace to Long_Name;	file \| diff \| annotate
Fri, 06 Mar 2009 22:32:27 +0100	wenzelm	replaced archaic use of rep_ss by Simplifier.mksimps;	file \| diff \| annotate
Wed, 04 Mar 2009 00:05:20 +0100	wenzelm	renamed Method.assumption_tac back to Method.assm_tac -- as assumption_tac it would have to be exactly the tactic behind the assumption method (with facts);	file \| diff \| annotate
Tue, 03 Mar 2009 14:54:12 +0100	wenzelm	nicer_shortest: use NameSpace.extern_flags with disabled "features" instead of internal NameSpace.get_accesses;	file \| diff \| annotate
Sun, 01 Mar 2009 16:22:37 +0100	wenzelm	avoid fragile parsing of end_timing result -- would have produced GC time on MosML, for example;	file \| diff \| annotate
Sun, 01 Mar 2009 14:45:23 +0100	wenzelm	replaced archaic Display.pretty_fact by FindTheorems.pretty_thm, which observes the context properly (as did the former prt_fact already);	file \| diff \| annotate
Fri, 27 Feb 2009 16:05:40 +0100	wenzelm	observe basic Isabelle/ML coding conventions;	file \| diff \| annotate
Fri, 27 Feb 2009 15:46:22 +0100	wenzelm	moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;	file \| diff \| annotate \| base

isabelle