isabelle: File revisions

src/Pure/search.ML

2005-06-02	wenzelm	header;	file \| diff \| annotate
2005-03-04	skalberg	Removed practically all references to Library.foldr.	file \| diff \| annotate
2005-03-03	skalberg	Move towards standard functions.	file \| diff \| annotate
2005-02-13	skalberg	Deleted Library.option type.	file \| diff \| annotate
2003-08-21	paulson	Change from "tracing" to "warning", as requested by David Aspinall	file \| diff \| annotate
2001-11-20	wenzelm	use tracing function for trace output;	file \| diff \| annotate
2000-07-23	wenzelm	tuned ThmHeap;	file \| diff \| annotate
2000-06-20	paulson	now uses the heap data structure for BEST_FIRST	file \| diff \| annotate
2000-01-28	oheimb	added tacticals DETERM_UNTIL and DETERM_UNTIL_SOLVED	file \| diff \| annotate
1998-11-25	wenzelm	replaced prs by writeln;	file \| diff \| annotate
1998-10-23	oheimb	added SOLVE tactical	file \| diff \| annotate
1998-10-20	wenzelm	QUIET_BREADTH_FIRST;	file \| diff \| annotate
1997-11-21	wenzelm	changed Sequence interface (now Seq, in seq.ML);	file \| diff \| annotate
1997-07-22	paulson	Removal of the tactical STATE	file \| diff \| annotate
1997-04-02	paulson	DEEPEN now takes an upper bound for terminating searches	file \| diff \| annotate
1997-02-21	paulson	Replaced "flat" by the Basis Library function List.concat	file \| diff \| annotate
1996-11-01	paulson	Replaced min by Int.min	file \| diff \| annotate
1996-03-18	paulson	New file containing search tacticals	file \| diff \| annotate

isabelle