src/HOL/Tools/list_to_set_comprehension.ML
2012-02-05 bulwahn 2012-02-05 tuning to remove ML warnings
2011-12-17 wenzelm 2011-12-17 tuned signature;
2011-08-17 wenzelm 2011-08-17 modernized signature of Term.absfree/absdummy; eliminated obsolete Term.list_abs_free;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-03-30 wenzelm 2011-03-30 inline lemmas instead of accidental physical addressing -- explicit is better than implicit;
2011-03-30 wenzelm 2011-03-30 tuned white space and indentation; observe strict line length limitation (80-100 chars);
2011-01-19 bulwahn 2011-01-19 fixing list_to_set_comprehension simproc
2011-01-11 krauss 2011-01-11 eliminated duplication
2011-01-10 wenzelm 2011-01-10 standardized split_last/last_elem towards List.last; eliminated obsolete Library.last_elem;
2011-01-10 bulwahn 2011-01-10 removing dead code; tuned
2011-01-10 bulwahn 2011-01-10 made SML/NJ happy
2011-01-08 wenzelm 2011-01-08 tuned headers;
2011-01-07 bulwahn 2011-01-07 adding simproc to rewrite list comprehensions to set comprehensions; adopting proofs