isabelle: File revisions

src/Pure/library.ML

2010-07-20	wenzelm	2010-07-20	tuned;	file \| diff \| annotate
2010-05-05	haftmann	2010-05-05	farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)	file \| diff \| annotate
2010-03-26	wenzelm	2010-03-26	tuned white space;	file \| diff \| annotate
2009-12-09	haftmann	2009-12-09	take and drop as projections of chop	file \| diff \| annotate
2009-11-24	haftmann	2009-11-24	curried take/drop	file \| diff \| annotate
2009-10-26	haftmann	2009-10-26	avoid upto if not needed	file \| diff \| annotate
2009-10-23	haftmann	2009-10-23	merged	file \| diff \| annotate
2009-10-22	haftmann	2009-10-22	restored accidentally deleted submultiset	file \| diff \| annotate
2009-10-22	haftmann	2009-10-22	multiset operations with canonical argument order	file \| diff \| annotate
2009-10-22	wenzelm	2009-10-22	made SML/NJ happy;	file \| diff \| annotate
2009-10-22	haftmann	2009-10-22	map_range (and map_index) combinator	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	merged	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	curried inter as canonical list operation (beware of argument order)	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	merged	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	curried union as canonical list operation	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	removed old-style \ and \\ infixes	file \| diff \| annotate
2009-10-21	haftmann	2009-10-21	dropped redundant gen_ prefix	file \| diff \| annotate
2009-10-20	haftmann	2009-10-20	replaced old_style infixes eq_set, subset, union, inter and variants by generic versions	file \| diff \| annotate
2009-10-17	wenzelm	2009-10-17	tuned/moved divide_and_conquer';	file \| diff \| annotate
2009-10-17	wenzelm	2009-10-17	indicate CRITICAL nature of various setmp combinators;	file \| diff \| annotate
2009-09-29	wenzelm	2009-09-29	Raw ML references as unsynchronized state variables.	file \| diff \| annotate
2009-08-10	haftmann	2009-08-10	added map_transpose	file \| diff \| annotate
2009-07-25	wenzelm	2009-07-25	eliminated redundant Library.multiply;	file \| diff \| annotate
2009-07-10	haftmann	2009-07-10	dropped find_index_eq	file \| diff \| annotate
2009-05-24	haftmann	2009-05-24	funpow_yield; tuned	file \| diff \| annotate
2009-03-18	wenzelm	2009-03-18	Library.merge/OrdList.union: optimize the important special case where the tables coincide -- NOTE: this changes both the operational behaviour and the result for non-standard eq/ord notion;	file \| diff \| annotate
2009-03-18	haftmann	2009-03-18	made SML/NJ happy	file \| diff \| annotate
2009-03-17	wenzelm	2009-03-17	renamed Tactic.taglist/untaglist/orderlist to tag_list/untag_list/order_list (in library.ML);	file \| diff \| annotate
2009-03-01	wenzelm	2009-03-01	use long names for old-style fold combinators;	file \| diff \| annotate
2009-02-13	kleing	2009-02-13	New command find_consts searching for constants by type (by Timothy Bourke).	file \| diff \| annotate
2008-12-11	ballarin	2008-12-11	Clarified comment.	file \| diff \| annotate
2008-11-10	haftmann	2008-11-10	clarified comment	file \| diff \| annotate
2008-10-09	haftmann	2008-10-09	removed legacy \|>>>	file \| diff \| annotate
2008-09-25	haftmann	2008-09-25	burrow_fst	file \| diff \| annotate
2008-09-07	wenzelm	2008-09-07	added change_result;	file \| diff \| annotate
2008-09-04	wenzelm	2008-09-04	Thread.getLocal/setLocal;	file \| diff \| annotate
2008-08-27	wenzelm	2008-08-27	replaced find_substring by first_field;	file \| diff \| annotate
2008-08-27	wenzelm	2008-08-27	added find_substring;	file \| diff \| annotate
2008-08-13	wenzelm	2008-08-13	removed obsolete untabify (superceded by SymbolPos.tabify_content);	file \| diff \| annotate
2008-03-27	haftmann	2008-03-27	changed wrong assignement in signature sections	file \| diff \| annotate
2008-03-27	wenzelm	2008-03-27	tuned comments;	file \| diff \| annotate
2008-02-16	wenzelm	2008-02-16	setmp: uninterruptible;	file \| diff \| annotate
2008-01-26	wenzelm	2008-01-26	added surround;	file \| diff \| annotate
2008-01-22	haftmann	2008-01-22	added map_split	file \| diff \| annotate
2008-01-03	wenzelm	2008-01-03	added setmp_thread_data;	file \| diff \| annotate
2008-01-01	wenzelm	2008-01-01	removed separate exists/forall code;	file \| diff \| annotate
2007-12-18	wenzelm	2007-12-18	serial: now based on specific version in structure Multithreading;	file \| diff \| annotate
2007-12-17	berghofe	2007-12-17	Added foldl1.	file \| diff \| annotate
2007-12-05	wenzelm	2007-12-05	tuned signature;	file \| diff \| annotate
2007-12-05	haftmann	2007-12-05	map_product and fold_product	file \| diff \| annotate
2007-10-29	wenzelm	2007-10-29	added bool_ord;	file \| diff \| annotate
2007-10-16	haftmann	2007-10-16	added yield_singleton	file \| diff \| annotate
2007-10-16	wenzelm	2007-10-16	added perhaps_apply/loop;	file \| diff \| annotate
2007-10-11	wenzelm	2007-10-11	removed obsolete flip;	file \| diff \| annotate
2007-10-05	wenzelm	2007-10-05	added burrow_options;	file \| diff \| annotate
2007-10-04	haftmann	2007-10-04	added nth_drop	file \| diff \| annotate
2007-09-18	wenzelm	2007-09-18	simplified type int (eliminated IntInf.int, integer);	file \| diff \| annotate
2007-09-16	wenzelm	2007-09-16	added some int constraints (ML_Parse.fix_ints not active here);	file \| diff \| annotate
2007-08-03	wenzelm	2007-08-03	named some CRITICAL sections;	file \| diff \| annotate
2007-07-29	wenzelm	2007-07-29	added list update;	file \| diff \| annotate

isabelle

RSS Atom