isabelle: File revisions

src/Tools/auto_solve.ML

Tue, 31 Mar 2009 22:23:33 +0200	wenzelm	fixed header;	file \| diff \| annotate
Tue, 31 Mar 2009 20:40:25 +0200	wenzelm	superficial tuning;	file \| diff \| annotate
Mon, 30 Mar 2009 12:25:52 +1100	Timothy Bourke	Limit the number of results returned by auto_solves.	file \| diff \| annotate
Wed, 04 Mar 2009 11:05:29 +0100	blanchet	Merge.	file \| diff \| annotate
Wed, 04 Mar 2009 10:45:52 +0100	blanchet	Merge.	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:54:49 +0100	wenzelm	observe some Isabelle/ML coding conventions;	file \| diff \| annotate
Thu, 19 Feb 2009 23:55:10 +1100	kleing	half auto_solve default time out; increase manually in PG for large projects	file \| diff \| annotate
Wed, 11 Feb 2009 16:03:10 +1100	kleing	Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke	file \| diff \| annotate

isabelle